I want to learn axiomatic (Hilbert style ) logic. not just a book that says that it exist and is an good way to proof theorems. What is a good book to learn and practice this method? would like: ...
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Introduction to higher order catagorical logic by J. Lambek, March 25, 1988, Cambridge University Press edition, Paperback in English
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in philosophy of mathematics. The theorems are interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible.
Reading philosophy for the examples
Philosophy books often have really good examples. Here are a few of my favourites.
Iconic Math
As an introduction to a forthcoming book (late 2025), this page links to three narrated videos about unary boundary logic:
Welcome to Software Foundations in Coq
Sets for Mathematics in nLab
deduction system, natural deduction, sequent calculus, lambda-calculus, judgment
Home | Logic(s) Magazine
Logic(s) is a queer Black and Asian magazine devoted to deepening the discourse around technology. We publish twice a year in print and digital formats.
Home | Logic(s) Magazine
Logic(s) is a queer Black and Asian magazine devoted to deepening the discourse around technology. We publish twice a year in print and digital formats.
Which framework to learn?
As the title says, I have been exploring theory about AI agents and LLMs for a while and I want to learn frameworks and actually build some solid…
Recommended books for learning Dutch – Understanding Dutch
List of the best books for learning Dutch, regularly updated. Grammar workbooks, phrasebooks, and essential introductions to Dutch.
Crafting a good (reasoning) model
A recent talk I gave on model training, reasoning, and the next frontier.
Categorical logic and type theory
Categorical logic and type theory by Bart Jacobs, 1999, Elsevier Science edition, in English - 1st ed.
