• 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