top of page
The Feed
Search
Gödel's First Incompleteness Theorem and Hilbert's Programme
This article explores Gödel's First Incompleteness Theorem as a challenge to Hilbert's Programme.
Rebecca Ivory
Apr 2, 202313 min read
Grammar and Algorithms: Linguistics' Contribution to Computer Programming
Have you ever wondered why codes used in programming are referred to as languages? They do not seem to have something in common with...
Federico Piersigilli
Feb 12, 202310 min read
Foundations of Mathematics: Brouwer's Intuitionism Versus Hilbert's Programme
This article explores the Brouwer-Hilbert controversy over the foundations of mathematics.
Rebecca Ivory
Feb 6, 202316 min read
bottom of page