search

IDNI / TML

Tau Meta-Language
http://www.idni.org
122 stars 28 forks source link

Undecidability and multiplication are not intertwined. #32

Closed TeamSPoon closed 4 years ago

TeamSPoon commented 4 years ago

Ohad's premises that undecidability and multiplication are intertwined and multiplication and division in TML will stop it from halting.

naturalog commented 4 years ago

closed for being nonsense