Hello!, 早晨, 你好, こんにちは, 안녕하세요, Grüß Gott!, مرحبا
Survival, Inquiry and Sophistication. ... or, the adventures of an earthling on a quest for the lost shtukas
Welcome to the website of Pascal Honoré, a mathematician, computer geek and former interest rates derivatives analyst (Investment Banking), living (primarily) in London, UK.
In every day life, I am interested in about everything that is the expression of human creativity, including, but not limited to, mathematics, physics, biology, design, programming, artificial intelligence, finance, video games, literature, evolutionary psychology, politics, music, photography and many other subjects. More about me ...
Nowadays, I do programming (for money) and research and teaching in mathematics at King's College London.
A consistency proof for [any sufficiently powerful] system, can be carried out only by means of modes of inference that are not formalized in the system, itself.
© 2006 - 2015, and beyond...