The Code of Mathematics Proof and Truth /

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gödel and Tarski on inco...

Descripció completa

Dades bibliogràfiques

Autor principal:	Müller-Stach, Stefan (Autor)
Autor corporatiu:	SpringerLink (Online service)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024.
Edició:	1st ed. 2024.
Col·lecció:	Mathematics Study Resources, 11
Matèries:	Mathematics. Mathematics > Philosophy. Philosophy of Mathematics.
Accés en línia:	https://doi.org/10.1007/978-3-662-69483-1
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!