Someone claims to have invented a Universal Truth Machine (UTM), a machine that takes a proposition as input, and returns "true", "false", or "undecidable" as output. Example:

Input Output

1+3 = 4 true

1+2= 4 false

this proposition is false undecidable

Devise a true proposition that the UTM will claim to be false, thereby disproving the inventor's claim.

## Question

## BMAD 65

Someone claims to have invented a Universal Truth Machine (UTM), a machine that takes a proposition as input, and returns "true", "false", or "undecidable" as output. Example:

Input Output

1+3 = 4 true

1+2= 4 false

this proposition is false undecidable

Devise a true proposition that the UTM will claim to be false, thereby disproving the inventor's claim.

## Link to post

## Share on other sites

## 18 answers to this question

## Recommended Posts

## Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.