▲ 85 r/logic
G ⇔ ¬provable(G)
What a legend Kurt Gödel was. Besides his theorem he was a metaphysic and mathematical platonist, was a friend with Einstein, loved disney(Snow White), proved that if we accept some of prerequisites we must accept that God exists and much more,
u/nationcapitalism — 23 hours ago