Sunday, 22. May 2005

Mathematics In Relativism Shock

Dennis Jerz linked to this gem of an LA Times article about mathematics going postmodern. Philip Davis, emeritus professor of mathematics at Brown University, shows that certain mathematical definitions drift over time, and proofs of mathematical "truth" (at least those on the level of difficulty where it takes computers to come up with one) are not absolute, but context-dependent, and socially constructed. For instance, hardcore mathematicians feel quite uneasy about proofs that can only be given using the help of computers, and cannot be verified "by hand".

This seems understandable, given the fact that, down on the hardware level, "digital" machines are undoubtably analog (the CPU's transitors are switched on and off by rising and ebbing electrical currents, and that motion is continous), and the famous "1"s and "0"s are really just an abstraction, which is prone to leak.

The notion that mathematics is not as resolvable a discipline as advertised is probably not so new; seems to me that the intuitionists argued along similar lines nearly a hundred years ago already. However, back then they were ridiculed by Hilbert and friends. Nobody is seen laughing about Davis now.

Impact on AI: if mathematicians doubt the correctness of mathematical proofs given by computers even now, then The Dawn of The Ultraintelligent Machines seems to be, erm, at least a good while off.

Recent Comments

I feel fine.
I know someone will comment on it soon :-) Theatre...
scheuring - 14. Jun, 10:24
How do you feel when...
How do you feel when you receive no comments? How can...
Magical - 14. Jun, 09:19
Thanks, Brian,
for this interesting invitation. Since, by your own...
scheuring - 15. May, 10:33
AI-Foundation Panel
Dirk, I like the thinking. Because of that expertise,...
Brian Hoecht - 13. May, 22:05
Gabe,
you're welcome.
scheuring - 29. Apr, 16:29
thanks scheuring!
Cool, that seems to cover most of the basics. Definitely...
drgold - 28. Apr, 05:41
Top 400
About five years ago (pre-ProgramD), the "standard"...
scheuring - 22. Apr, 14:55

Credits

vi knallgrau GmbH

powered by Antville powered by Helma


Creative Commons License

xml version of this page

twoday.net AGB


Bots
creators
definitions
fun
general
reasons
stories
Profil
Logout
Subscribe Weblog