Buchumschlag
QR-Code

Where Is the Gödel-Point Hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals /

Obra que explica la prueba del matemático y lógico Gerhard Gentzen de la consistencia de los axiomas de Peano, así como los pasos que siguió para demostrarla, a partir del trabajo de otros filósofos de las matemáticas de la primera mitad del siglo XX, como Gödel y Hilbert.

Gespeichert in:
1. Verfasser: Horská, Anna (autor)
Format: Buch
Sprache:Englisch
Veröffentlicht: Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:(Springer Briefs in Philosophy)
Schlagworte:
Matemáticos Alemanes
Filósofos Alemanes
Axiomas - > Tema Principal
Teorema de Gödel
Teoría de la Demostración - > Tema Principal
Teoría de Números
Lógica Matemática - > Tema Principal
Matemáticas - > Filosofía
Matemáticas - > Historia - > Siglo XX
Filosofía del Siglo XX - > Historia y Crítica
Gentzen, Gerhard - > Tema Principal
Gödel, Kurt
Hilbert, David
Online-Zugang:Ver documento en línea
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Where Is the Gödel-Point Hiding :

Ähnliche Einträge