Quando Francisco Cavalcanti Pontes de Miranda esteve em New York como ministro plenipotenciário do Brasil no tempo da guerra 1939-1945, procurou Albert Einstein e, em conversa, disse que estava contente por estar falando com um grande matemático. “Matemático eu (?), respondeu Einstein; hoje vou apresentar-lhe o maior matemático do mundo” — e pôs Pontes em contato com Kurt Gödel; estes dois vieram a falar sobre matemática, incluída a teoria da completude na lógica simbólica. Depois de certo tempo, Gödel perguntou a Pontes por que vivia ele a cuidar de Direito, em vez de se aprofundar na matemática.

*-*

Sobre Pontes: https://pt.wikipedia.org/wiki/Pontes_de_Miranda

Sobre Gödel: https://pt.wikipedia.org/wiki/Kurt_G%C3%B6del

                        Uma das obras importantes de Gödel Kurt Gödel. The completeness of the axioms of the functional calculus of logic (1930)

https://criticanarede.com/log_godel.html

Obras de Pontes: OBRAS DE PONTES DE MIRANDA.

(relação incompleta > PONTES DE MIRANDA, Francisco Cavalcanti [...])

Etc. etc.