constructivism

• 2006-09-04T17:54:00Z: Constructive Logic Is an Extension of Classical Logic
• 2006-03-14T17:05:00Z: Recent Knowledge
• 2005-12-10T20:29:00Z: How Dedekind Screwed Up a Hundred Years of Mathematics
• 2005-11-13T17:20:00Z: Philosophy of Math Meme
• 2005-10-21T18:57:00Z: Piecewise Continuous Functions
• 2005-08-17T18:18:00Z: A Lesson from Cryptography
• 2005-06-04T14:38:00Z: Intensional vs Extensional Choice
• 2005-04-08T21:12:00Z: Discontinuous Functions on the Reals
• 2004-06-16T00:53:00Z: Excluded Middle Almost Reasonable.
• 2004-03-05T04:36:00Z: Constructive Set Theory
• 2003-12-20T00:29:00Z: Functions on Reals