Formalismos: Análise, comparação e aplicações – Parte I

Referências

• De arte characteristica ad perficiendas scientias ratione nitentes em C. I. Gerhardt (ed.), Die philosophischen Schriften von Gottfried Wilhelm Leibniz

quando orientur controversiae, non magis disputatione opus erit inter duos philosophos, quam inter duos computistas. Sufficiet enim calamos in manus sumere sedereque ad abacos, et sibi mutuo (accito si placet amico) dicere: calculemus.

caso surjam controvérsias, não seria mais necessário uma disputa entre dois filósofos, senão entre dois calculadores. Pois bastará que peguem as canetas, sentem-se ao ábaco e digam uns aos outros (chamando um amigo, se preferirem): calculemos.

• The Analyst por George Berkeley (Wikipédia, com vínculo para o texto original)
• Axioma de Pasch (Wikipédia)
• Veritasium sobre geometrias não-euclidianas (possivelmente dublado, com opção de áudio original)
• Veritasium sobre números imaginários
• Problemas, procedimentos e indispensabilidade da sobreposição nas provas de congruência de triângulos em I.4 e I.8 dos Elementos de Euclides por Wagner Sanz e Petrúcio Viana
• Introductory note to Gödel 1929, 1930 and 1930a por Burton Dreben e Jean van Heijenoort