¿Cómo es investigar en lógica matemática y teoría de conjuntos?

Mi disertación incluyó una oración en lógica de segundo orden en modelos teóricos de teoría de recursión generalizada. Comencé a creer que la oración no era verdadera o falsa en la mayoría de los modelos, así que tuve que usar el método de forzar para construir los modelos que necesitaba. Para mí, forzar era la herramienta intelectual más salvaje, extraña y poderosa que jamás podría imaginar. Fue divertido, divertido, divertido. Si tuviera que elegir entre trabajar en mi problema o ver una película, o una cerveza con mis amigos, o la mayoría de las otras cosas, el trabajo ganaría. ¡Fue como un hermoso viaje de LSD! Por supuesto, mi bella y joven esposa tuvo la mano ganadora, y en el concurso de esposa contra teoría de conjuntos siempre ganó. Pero decir que la lógica y la teoría de conjuntos se ubicaron en segundo lugar después del sexo es un poderoso respaldo de este rincón de las matemáticas.