### Categories

### Tags

# Monthly Archives: April 2010

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

http://github.com/agarwal/logit

## 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