RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agoWriting a Truth Oracle in Lisplambda-cove.netexternal-linkmessage-square2fedilinkarrow-up13arrow-down10file-text
arrow-up13arrow-down1external-linkWriting a Truth Oracle in Lisplambda-cove.netRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agomessage-square2fedilinkfile-text
minus-square0x01@lemmy.mllinkfedilinkEnglisharrow-up2·2 months ago By “truth oracle,” I mean a program that can determine whether arbitrary mathematical statements are true or false
minus-squarewizardbeard@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up1·2 months agoGotta love the grandiose naming. It’s not a “math statement evaluator”, it’s a “truth oracle”.
Gotta love the grandiose naming.
It’s not a “math statement evaluator”, it’s a “truth oracle”.