Comment on Blocked đŸš«

<- View Parent
barsoap@lemm.ee ⁚2⁩ ⁚months⁩ ago

That’s computer science alongside with Church/Turing. Maths could have tried to claim it but they doubled down on formalism so they don’t deserve it.

That said though incompleteness follows from nothing but logical implication itself so it’s more fundamental than physics (try to imagine a physics without cause and effect) and philosophy (find me a philosopher who wasn’t asleep during their logic lectures).

source
Sort:hotnewtop