Torrent details for "Muller-Stach S. The Code of Mathematics. Proof and Truth 2024" Log in to bookmark
Controls:
×
Report Torrent
Please select a reason for reporting this torrent:
Your report will be reviewed by our moderation team.
×
Report Information
Loading report information...
This torrent has been reported 0 times.
Report Summary:
| User | Reason | Date |
|---|
Failed to load report information.
×
Success
Your report has been submitted successfully.
Checked by:
Category:
Language:
None
Total Size:
7.2 MB
Info Hash:
50DC6650C427707402BF33A7B64C8965DDEAC038
Added By:
Added:
July 15, 2025, 10:39 a.m.
Stats:
|
(Last updated: July 15, 2025, 10:40 a.m.)
| File | Size |
|---|---|
| ['Muller-Stach S. The Code of Mathematics. Proof and Truth 2024.pdf'] | 0 bytes |
Name
DL
Uploader
Size
S/L
Added
NOTE
SOURCE: Muller-Stach S. The Code of Mathematics. Proof and Truth 2024
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
Textbook in PDF format 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 incompleteness, undecidability and truth in deductive systems and their semantic models are covered. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory. Such theories contain identity types, which give a new understanding of equality, symmetry, equivalence and isomorphism in a conceptual way. The interaction of type theory and infinity category theory yields a new paradigm for a structural view on mathematics. This supports the tendencies towards formalising mathematics with the help of proof assistants
×