Der Code der Mathematik : Beweis und Wahrheit

Grundlegende Fragen -- Die Suche nach einer Wissenschaftssprache. Die mathematische Denkweise -- Mathematik in unserer Kultur -- Berechenbarkeit und Entscheidbarkeit -- Deduktive Systeme und Unvollständigkeit -- Kategorientheorie -- Typentheorie -- Wahrheit und Semantik.

Gespeichert in:
Autor*in:

Müller-Stach, Stefan [verfasserIn]

Format:

E-Book

Sprache:

Deutsch

Erschienen:

Berlin, Heidelberg: Springer Berlin Heidelberg ; 2023.

Berlin, Heidelberg: Imprint: Springer Spektrum ; 2023.

Ausgabe:

1st ed. 2023.

Schlagwörter:

Mathematik / Grundlage / Metamathematik

Schlagwörter:

Mathematics—Philosophy.

Mathematics.

Mathematics

Systematik:

Umfang:

1 Online-Ressource(XIII, 180 S. 54 Abb.)

Links:

Link aufrufen
Link aufrufen

ISBN:

978-3-662-66562-6

DOI / URN:

10.1007/978-3-662-66562-6

Katalog-ID:

1846857279

Nicht das Richtige dabei?

Schreiben Sie uns!