To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Chapter 4 focuses in the methodological and instrumental contrasts between artificial economics and mainstream economics. It discusses the mathematical methods of mainstream economics (centered around the use of optimization methods and systems of equations representations) versus the computational methods of artificial economics (characterized by the use of algorithms, software, and computer hardware). Presents basic notions on algorithms, recursion, and Turing machines. And discusses the methodological and instrumental differences between artificial economics and mainstream economics as derived from differences between classical mathematics and constructive mathematics.
Wittgenstein's thought on mathematics had undergone a major, if often undetected, change. The idea that adopting an algorithm like "plus" determines in some physical, mental, or metaphysical way one's response to infinitely many exercises is nothing but covert Platonism, in many ways worse than the Platonism of objects. Wittgenstein agrees entirely with the Intuitionist critique of the law of excluded middle. For the Goldbach conjecture to be true in the sense of classical mathematics, we have to say that the operations of arithmetic determine in advance that every even number, no matter how large, can be partitioned into two primes. The law of excluded middle cannot be regarded as a hardened regularity in cases in which it is applied it to a putative infinite totality. But precisely because of this, there is no direct comparison possible between empirical observations and mathematical theorems in this type of proof.
This chapter discusses Saul Kripke's general objections to the notion of adopting a logic. The main issue Kripke chose to talk about first is whether logic is a set of statements, and not whether logic is revisable. Kripke also criticized the view that the notion of "adopting a logic" is a coherent one. The whole point of introducing quantum logic is to put quantum mechanics on a sound foundation, making it paradox-free. Hilary Putnam refers to a formal system that he calls "quantum logic", which he says can "be read off from Hilbert space". Unlike quantum logic, intuitionist logic is commonly given as the most standard example of a change in logic. Intuitionists have supposedly adopted a logic different from "the received one" and have based a whole different system of mathematics upon it, as well as having rejected classical mathematics.
Recommend this
Email your librarian or administrator to recommend adding this to your organisation's collection.