(1 -> 0) = 0. In other words, (true implies false) is false. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

pmcjones on March 14, 2017 | parent | context | favorite | on: Gödel and the limits of logic (2006)

(1 -> 0) = 0.

In other words, (true implies false) is false.

acchow on March 14, 2017 [–]

"is false" doesn't mean anything in Godel's system. That's too high level and imprecise. We're dealing with only symbol manipulation here. We only have provability (which really is "there exists a derivation for") - we don't have "truth".

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact