Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Unhyping AI Jokes

Bayesian reasoning, no temporal logic

Operator: Computer, the door is open, the door is closed. Is the door closed? Computer: I don't know!

Temporal logic, no Bayesian reasoning

Operator: Computer, the sky is green, the sky is blue. Which color has the sky? Computer: It was green, but changed to blue right now.

Perfect theorem prover, not able to formulate new concepts

Operator: Computer, what is the square root of 2? Computer:

Able to fomulate new concept, not perfect theorem prover

Operator: Computer, who put the money under the pillow? Computer: The tooth fairy, of course!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.