Jump to content
  • Advertisement
  • entries
  • comments
  • views

Behold my inventive-osity!

Sign in to follow this  


According to my cursory Google search, I have officially been the first person to use the term "reductio ad halting-problem" to describe the common class of proofs that collapse onto Turing's well-known result.

I offer the following as proof of my usage.

No, this has absolutely no significance whatsoever. Let me have my moment, dammit.
Sign in to follow this  

1 Comment

Recommended Comments

Some computer scientist academics here were having a friendly contest for who could put the oldest citation in their work, usually putting in some 19th century mathematician. A few manage to get philosophy involved and go back to Plato or Aristotle. I decided to beat them by having a (legitimate) citation of the Epic of Gilgamesh, written circa 2000 BCE. Yay for meaningless records [smile]

Share this comment

Link to comment

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Advertisement

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

We are the game development community.

Whether you are an indie, hobbyist, AAA developer, or just trying to learn, GameDev.net is the place for you to learn, share, and connect with the games industry. Learn more About Us or sign up!

Sign me up!