bio | website | wetsavannaanimals.net |
---|---|---|

location | Blackburn Australia | |

age | 50 | |

visits | member for | 3 years |

seen | Apr 1 at 7:02 | |

stats | profile views | 1,160 |

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.

Physics | 12,360 rep | 21140 | |

MathOverflow | 464 rep | 610 | |

Mathematics | 217 rep | 17 | |

Computational Science | 161 rep | 2 | |

Biology | 156 rep | 4 |

# 262 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

262 | up | 87 | question | ||

0 | down | 175 | answer |