book.itmens

gesang started reading The Higher Infinite by Akihiro Kanamori

Akihiro Kanamori: The Higher Infinite (2008, Springer)

The Higher Infinite by Akihiro Kanamori

The higher infnite refers to the lofty reaches of the infnite cardinalities of set theory as charted out by large …

gesang finished reading Naming Infinity by Loren Graham

Loren Graham, Jean-Michel Kantor: Naming Infinity (2009, Harvard University Press)

No rating

In 1913, Russian imperial marines stormed an Orthodox monastery at Mt. Athos, Greece, to haul …

Not really worth reading. Largely a narrative that centers around the personalities involved, without actually getting into anything. Also several mistakes, for example it was Dedekind who defined infinity, not Cantor. But all this judgement might be due to my own familiarity with the works of these mathematicians.

gesang started reading Notes on Set Theory by Yiannis N. Moschovakis (Undergraduate texts in mathematics)

Yiannis N. Moschovakis: Notes on Set Theory (2006, Springer-Verlag)

Notes on Set Theory by Yiannis N. Moschovakis (Undergraduate texts in mathematics)

The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and …

gesang finished reading European Cities and Towns by Peter Clark

Peter Clark: European Cities and Towns (2009, Oxford University Press)

European Cities and Towns by Peter Clark

Since the Middle Ages Europe has been one of the most urbanized continents on the planet and Europe's cities have …

gesang started reading The Nature of Computation by Cristopher Moore

Cristopher Moore, Stephan Mertens: The Nature of Computation (2011)

The Nature of Computation by Cristopher Moore, Stephan Mertens

Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences …

gesang finished reading A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg (Universitext)

Wolfgang Rautenberg: A Concise Introduction to Mathematical Logic (2010, Springer)

No rating

Traditional logic as a part of philosophy is one of the oldest scientific disciplines and …

Demanding one. Highlight: full proof of the second incompleteness theorem along with provability logic. The formal system chosen is not that good, though; really strange that sequent calculus and natural deduction can be presented in such a chaotic hybrid manner.

gesang finished reading The History of Philosophical and Formal Logic by Alex Malpass

Alex Malpass, Marianna Antonutti Marfori: The History of Philosophical and Formal Logic (Paperback, Bloomsbury Academic)

The History of Philosophical and Formal Logic by Alex Malpass, Marianna Antonutti Marfori

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. …

gesang wants to read Naming Infinity by Loren Graham

Naming Infinity by Loren Graham, Jean-Michel Kantor

In 1913, Russian imperial marines stormed an Orthodox monastery at Mt. Athos, Greece, to haul off monks engaged in a …

gesang finished reading Sets and Extensions in the Twentieth Century by John Woods (Handbook of the History of Logic, #6)

John Woods, Dov M. Gabbay, Akihiro Kanamori: Sets and Extensions in the Twentieth Century (Hardcover, 2012, North-Holland)

Sets and Extensions in the Twentieth Century by John Woods, Dov M. Gabbay, Akihiro Kanamori (Handbook of the History of Logic, #6)

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging …

gesang finished reading The Rise of Modern Logic by Dov M. Gabbay (Handbook of the History of Logic, #3)

Dov M. Gabbay, John Woods: The Rise of Modern Logic (North Holland)

The Rise of Modern Logic by Dov M. Gabbay, John Woods (Handbook of the History of Logic, #3)

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise …

gesang finished reading The Cambridge History of Western Music Theory by Thomas Street Christensen

Thomas Street Christensen: The Cambridge History of Western Music Theory (2002, Cambridge University Press)

The Cambridge History of Western Music Theory by Thomas Street Christensen

The Cambridge History of Western Music Theory is the first comprehensive history of Western music theory to be published in …

gesang finished reading Natural Deduction by Dag Prawitz (Dover Books on Mathematics)

Dag Prawitz: Natural Deduction (2006, ‎ Dover Publications)

Natural Deduction by Dag Prawitz (Dover Books on Mathematics)

An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a …

gesang started reading All Things Are Full of Gods by David Bentley Hart

David Bentley Hart: All Things Are Full of Gods (2024, Yale University Press)

All Things Are Full of Gods by David Bentley Hart

A world-renowned philosopher’s genre-defying exploration of the mystery of consciousness

“[A] masterpiece. . . . The most thorough and rigorous …

gesang finished reading Quantum Computation and Quantum Information by Michael A. Nielsen

Michael A. Nielsen, Isaac L. Chuang: Quantum Computation and Quantum Information (2010, Cambridge University Press)

Quantum Computation and Quantum Information by Michael A. Nielsen, Isaac L. Chuang

One of the most cited books in physics of all time, Quantum Computation and Quantum Information remains the best textbook …

gesang finished reading Order and History, Volume 5: In Search of Order by Eric Voegelin (Collected Works of Eric Voegelin, #18)

Eric Voegelin: Order and History, Volume 5: In Search of Order (2000)

Order and History, Volume 5: In Search of Order by Eric Voegelin (Collected Works of Eric Voegelin, #18)

In Search of Order brings to a conclusion Eric Voegelin's masterwork, Order and History. Voegelin conceived Order and History as …

User Profile

gesang's books

To Read (View all 98)

Read (View all 275)

Currently Reading (View all 43)

User Activity