Gödel

∞ GödelSpecific

Kurt Gödel, incompleteness theorems, formal systems, mathematical logic

Feeds to Scour
SubscribedAll
Scoured 15 posts in 8.6 ms

No high-quality results found.

Less-relevant results

Proof System Timelines

 🔢Philosophy of Math  Content type: Blog
klatz.co·

How Gödel and Turing outlined the limits of AI

 ⊢Formal Logic
heise.de··Hacker News

News for May 2026 | Property Testing Review

 ⊢Formal Logic
ptreview.sublinear.info·

FORTE: FOL-guided Optimal Refinement for Text-audio rEtrieval

 ⊢Formal Logic  Content type: Academic
arxiv.org·

The Future Is Undecidable. Duty Is Not.

 🔢Philosophy of Math  Content type: Blog
dhanjit.me··Hacker News

Market Factors: Two Canadian stocks among top global ‘contenders’

 🔢Philosophy of Math
theglobeandmail.com
·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 🕸️Ontology  Content type: Code
github.com··Hacker News

Logicomix and 6 months at my new job

 🔢Philosophy of Math  Content type: Blog
avocadoslaw.substack.com··Substack

Symbolic and Abstractive Reasoning with Complex Visual Queries

 🗺️Concept Mapping  Content type: Academic
arxiv.org·

Public Machine Learning Solver Framework for Novices in the Machine Learning Domain

 ⊢Formal Logic  Content type: Academic
arxiv.org·

book-assets/supplements/partial-orders.md at master · logicforprogrammers/book-assets

 ⊢Formal Logic  Content type: Code
github.com·

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 λLambda Calculus  Content type: Academic
arxiv.org··Lobsters

Correct-by-Construction Design of Timed Systems in Event-B

 ⊢Formal Logic  Content type: Academic
arxiv.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 ⊢Formal Logic  Content type: Code
github.com·

SLUUG Talk: Demystifying Large Language Models on Linux

 ⊢Formal Logic  Content type: Code
github.com··DEV

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help