Category: ideas. All Categories

On proxies

This is a philosophical post about ideas, communicating them, and math.

Formalizing is the act of taking an intuition, a vague idea, and putting it into words — in mathematics, those words are usually in the language of logic, and usually in a specific flavor of logic, that which underlies the …

Page 1 / 1