RSS BotMB to Hacker NewsEnglish · 17 days 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 · 17 days agomessage-square2fedilinkfile-text
minus-square0x01@lemmy.mllinkfedilinkEnglisharrow-up2·17 days 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·17 days 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”.