↑ Logic

1. Logic ↑

Coleção de ideias relacionados à história, fundamentos e lógica matemática.

Facetas da face LOGIC

1.1 History of mathematics and mathematicians | História da matemática e de matemáticos
1.2 Epistemology, foundations and mathematical logic | Epistemologia, fundações e lógica matemática
1.3 Model theory | Teoria de modelos
1.4 Computability and recursion theory | Teoria de computabilidade e recursão
1.5 Set theory | Teoria dos conjuntos
1.6 Proof theory | Teoria da prova
1.7 Algebraic logic | Lógica algébrica
1.8 Nonstandard models | Modelos não-padrão
1.9 Classic and open problems in Mathematics | Problemas clássicos e abertos em Matemática