an introduction to Logicism, Formalism and Intuitionism (and more)

[Joao Marcos]

Logicism, Formalism and Intuitionism:
The three main contemporary ways to understand the fundamentals of mathematics.
-- by Alexander Bird
https://outline.com/RXztCa

%%%

O *Cantor's Paradise* contém bastante coisa interessante:
https://medium.com/cantors-paradise
(a qualidade das "pílulas de lógica" varia bastante)

Alguns exemplos:

There are Different Kinds of Infinities
https://medium.com/cantors-paradise/there-are-different-kinds-of-infinities-708e8bfc61ed

Essays on Logic
https://medium.com/cantors-paradise/nature-of-logic/home

Collection: The Gödel Essays
https://cantorsparadise.substack.com/p/collection-the-gdel-essays

Lewis Carroll’s Infinite Premises
https://medium.com/cantors-paradise/lewis-carrolls-infinite-premises-c68db176b000

Beginner’s Guide to Mathematical Constructivism
https://medium.com/cantors-paradise/beginners-guide-to-mathematical-constructivism-4015ca66825d

%%%

JM