#turing #haltingproblem #computeers #Godel https://youtu.be/sG0obNcgNJM

The 55th edition of De Programmatica Ipsum is out!

This month we explore the intricate relationship between computers and #mathematics; in the Library section, we review "#Gödel ∀ (para todos)" by Martínez and Piñeiro; and in our Vidéothèque section, we learn how to calculate inverse square roots in 1990's hardware.

This magazine does not feature advertising and is entirely supported by its readers. Thank you so much for your boosts, sharing, and collaboration!

https://deprogrammaticaipsum.com/issue-55-mathematics/

So sad to see such a brilliant man leave us. He revolutionized the field of #math by forming our modern topos program: unifying category theory with mathematical logic. You were a man on par with #Godel and a massive contributor to not just my own field, #mathematicallogic but a mover of #math in the direction of clarity and truth.

https://buffalonews.com/obituaries/features/dr-f-william-lawvere-85-ub-professor-who-transformed-advanced-mathematics/article_04bc4a90-ace1-11ed-a085-d3e206f8271f.html

Absolutely love the gift my partner got me 🤩 omg I'm so excited to connect the work I do with Gödels incompleteness with truth and explanation 😍🤩 #mathematics #Godel

Sometimes philosophy sounds like this (not joking):

(NP*) Given any zodlite ryma r and given any bumid b that does not fruminize r, there is more than one zodlite ryma that padveates b and that bellerates r.

#philosophy #Godel #Gödel #logic #IncompletenessTheorem

Sometimes philosophy sounds like this (not joking):

(NP*) Given any zodlite ryma r and given any bumid b that does not fruminize r, there is more than one zodlite ryma that padveates b and that bellerates r.

#philosophy #Godel #Gödel #logic #IncompletenessTheorem

This is the closest analogy to #Gödel's theorems in history of football. #FIFA #qatar2022