WetSavannaAnimal aka Rod Vance

less info
12,370 reputation
21140
bio website wetsavannaanimals.net
location Blackburn Australia
age 50
visits member for 10 months
seen 3 hours ago

Real name is Rod Vance. Optican Engineer for Optiscan Imaging Limited. Interested in mathematics, both for applications to physics and for its own sake. WetSavannaAnimal describes my evolutionary history, which animal history I share with at least some readers and which must restrict which patterns we can recognise in human mathematics as human mathematicians! I am writing an exposition / maybe book on elementary Lie theory in general rather than matrix setting with minimum machinery. I am intrigued by the relationship between Mathematics and the other sciences: I lean towards empricist ideas having had long experience in software development I see proving mathematics as rather like debugging software. A theorem's real "proof" lies in a history of withstanding the challenges of the peer review process rather than the thing touted as a proof in a journal, just like the old adage - don't buy software version .0 of anything. Wait until version .1 or .2 so that the bugs have been sorted out. I look forward to the day when one can dynamically build and review a proof, debugging like software it in a development environment that checks it against a great grandchild of Mizar or Metamath.


148
× 45
67
× 28
139
× 63
64
× 8
109
× 43
50
× 2
73
× 24
49
× 15
68
× 19
49
× 12
Physics 12,370 rep 21140
MathOverflow 464 rep 610
Mathematics 217 rep 17
Computational Science 161 rep 2
Biology 156 rep 4

3,518 Votes Cast

all time   by type   month   week  
3,515 up 1,315 question 102 37
3 down 2,203 answer