Code of Mathematics

Available
0
StarStarStarStarStar
0Reviews

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...

Read more
E-book
epub
Price
39.99 £

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...

Read more
Follow the Author

Options

  • Formats: epub
  • ISBN: 9783662694831
  • Publication Date: 3 Sept 2024
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM