Kirchner.io
Back to Essays
technical essay
AI and systems /

Gödel and the Utility of New Models

Exploring how Gödel’s incompleteness theorems relate to our current understanding of the utility of new models in AI and philosophy.

By Michael Kirchner

AI / software / networks

reading surface

Technology

words
173reader scope
sections
1article map
date
Oct 20, 2023published
tags
4taxonomy

A new model for the utility of new models

Permalink to A new model for the utility of new models

When wrestling with the utility of new models, I found myself retracing the steps of ancient philosophers and mathematicians. From Plato's realm of forms to Gödel’s groundbreaking theorems, the path was enlightening.

Raphael's School of Athens, with Plato and Aristotle at the center of a gathering of philosophers
Raphael's The School of Athens.

Plato's Realm and the Challenges of Representation Learning

Permalink to Plato's Realm and the Challenges of Representation Learning

In the heart of Plato's philosophy lies the concept of ideal forms. Just as he pondered over the true essence of a circle or a triangle, we today grapple with teaching machines the essence of a cat, a song, or an emotion. How can we, through layers of artificial neurons, mirror this Platonic realization?

Gödel's Theorems and the Limits of Computation

Permalink to Gödel's Theorems and the Limits of Computation

Gödel shattered the foundations of mathematics by proving that within any logical system, there exist truths that can't be proven. As I delved deeper into neural networks, I saw parallels. Are there aspects of understanding forever out of reach