I offer the following as proof of my usage.
No, this has absolutely no significance whatsoever. Let me have my moment, dammit.
🎉 Celebrating 25 Years of GameDev.net! 🎉
Not many can claim 25 years on the Internet! Join us in celebrating this milestone. Learn more about our history, and thank you for being a part of our community!
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.
I offer the following as proof of my usage.
No, this has absolutely no significance whatsoever. Let me have my moment, dammit.
Previous Entry
A Recurring Whinge
Next Entry
GDC: Day 0
Comments
Trapper Zoid
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]
January 28, 2008 11:13 PM
Advertisement
Latest Entries
A Few Farewells
14586 views
Code Reuse In Actual Practice
16462 views
Source-Level Debugging For Epoch Programs
4988 views
Using Poison to Reverse Engineer Code
154266 views
Using Poison to Reverse Engineer Code
3622 views
Debugging Information Success
2922 views
Debugging Information Success
5463 views
Debugging Epoch Programs
3133 views
Debugging Epoch Programs
7440 views
Epoch 64-bit compiler progress
2625 views
Advertisement