RSS BotMB to Hacker NewsEnglish · 1 month agoWriting a Truth Oracle in Lisplambda-cove.netexternal-linkmessage-square2fedilinkarrow-up13arrow-down10file-text
arrow-up13arrow-down1external-linkWriting a Truth Oracle in Lisplambda-cove.netRSS BotMB to Hacker NewsEnglish · 1 month agomessage-square2fedilinkfile-text
minus-square0x01@lemmy.mllinkfedilinkEnglisharrow-up2·1 month 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·1 month 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”.