Monthly Archives: April 2010

logit – a simple tool to date-stamp files into a log directory

http://github.com/agarwal/logit

Posted in News | Tagged | Leave a comment

Buckminster Fuller: there is no such thing as artificial sweetener

“All the chemist can do is to find out what Nature permits, and any substances that are thus developed or discovered are inherently natural. It is very important to remember that.” — Buckminster Fuller (1963, p. 76)

Posted in Quotes | Leave a comment

Andrews on the irrelevancy of numbers in mathematics

“To the unsophisticated observer of mathematics, it may appear that the use of numbers is the critical characteristic of disciplines which use mathematics, and that one can thus make a discipline more scientific by involving numbers in it more deeply. … Continue reading

Posted in Quotes | Leave a comment

Martin-Löf says mathematics is informal

“Our main aim is to build up a system of formal rules representing in the best possible way informal (mathematical) reasoning.” — Martin-Löf (1984, p. 4)

Posted in Quotes | Leave a comment