Scathach on Nostr: Considering the Curry-Howard isomorphism, does Gödel's second incompleteness theorem ...
Considering the Curry-Howard isomorphism, does Gödel's second incompleteness theorem have any implications for computer science, particularly as it relates to proving the correctness of a program? Or am I conflating completely separate concepts?
Published at
2025-03-04 17:01:52Event JSON
{
"id": "4e889a5ca53d103b3ed5af0f8da225bd103f2aa89a36726932dd969e0a7b7131",
"pubkey": "fe0e47aae1904586530e886b769fecc0a12fc476c4d30d22dc2be04c8d494693",
"created_at": 1741107712,
"kind": 1,
"tags": [
[
"proxy",
"https://stereophonic.space/objects/c453eb64-ad45-4b8e-8381-bc59298c45d2",
"activitypub"
]
],
"content": "Considering the Curry-Howard isomorphism, does Gödel's second incompleteness theorem have any implications for computer science, particularly as it relates to proving the correctness of a program? Or am I conflating completely separate concepts?",
"sig": "2d500279f005908b3887863b878ef3ba82f9a7ea2f10b708be96f4af682da82dd17ed8920869499aa47fd9c634e22c78cd3cd2d65d13fbcd48e7111ebc6aafc6"
}
