Comments on: Constructive and Classical Mathematics http://conflate.net/inductio/2008/06/constructive-and-classical-mathematics/ Thoughts on Machine Learning and Inference Tue, 02 Dec 2008 12:20:31 +0000 http://wordpress.org/?v=2.6 By: Prediction and the Axiom of Choice < Inductio Ex Machina http://conflate.net/inductio/2008/06/constructive-and-classical-mathematics/#comment-226 Prediction and the Axiom of Choice < Inductio Ex Machina Fri, 29 Aug 2008 01:33:02 +0000 http://conflate.net/inductio/?p=42#comment-226 <p>[...] the intuitionist in me looks upon this result much as I see the Banach-Tarski paradox. That is, as evidence against [...]</p> [...] the intuitionist in me looks upon this result much as I see the Banach-Tarski paradox. That is, as evidence against [...]

]]> By: Mark Reid http://conflate.net/inductio/2008/06/constructive-and-classical-mathematics/#comment-222 Mark Reid Thu, 14 Aug 2008 00:14:00 +0000 http://conflate.net/inductio/?p=42#comment-222 <p>Andrej Bauer has an <a href="http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics/" rel="nofollow">excellent post</a> on the use of intuitionistic mathematics in physics with links to its implications for infinitesimals and physics.</p> Andrej Bauer has an excellent post on the use of intuitionistic mathematics in physics with links to its implications for infinitesimals and physics.

]]> By: Daniel Lemire http://conflate.net/inductio/2008/06/constructive-and-classical-mathematics/#comment-126 Daniel Lemire Thu, 12 Jun 2008 13:10:34 +0000 http://conflate.net/inductio/?p=42#comment-126 <p>Assuming we live in a Turing Machine, which is entirely possible, then who cares about anything that is not computable?</p> <p>That is the value of experimental work and receiving feedback. We assume there is such a thing as a discontinuous function. That's a nice model. But does it match anything we can experience?</p> Assuming we live in a Turing Machine, which is entirely possible, then who cares about anything that is not computable?

That is the value of experimental work and receiving feedback. We assume there is such a thing as a discontinuous function. That’s a nice model. But does it match anything we can experience?

]]>