Repositorios 4

Hilbert, David, 1862-1943 4 Demonstration 2 Demonstração 2 Demostración (Lógica) 2 Formalism 2 Formalismo 2 Axiomatic method 1 Bernays, Paul, 1888-1977 1 Church, Alonzo, 1903-1995 1 Church–Turing thesis 1 Consistencia (Lógica) 1 Consistency (Logic) 1 Consistência (Lógica) 1 Cálculo efectivo 1 Cálculo efetivo 1 Effective calculability 1 Entscheidungsproblem 1 Filosofia da matemática 1 Filosofía de las matemáticas 1 Finitism 1 Finitismo 1 Gentzen, Gerhard, 1909-1945 1 Logicism 1 Logicismo 1 Método axiomático 1 Philosophy of mathematics 1 Tese de Church-Turing 1 Tesis de Church-Turing 1 Turing, Alan, 1912-1954 1 Von Neumann, John, 1903-1957 1