Undecidability and rationality of numbers | Synapse