Martino, Enrico Intuitionistic Proof Versus Classical Truth

Oppdag den dype analyse av matematikk

Med Martino, Enrico Intuitionistic Proof Versus Classical Truth, får du en skarp undersøkelse av intensjonen bak både klassisk og intuitionistisk matematikk. Boken inneholder femten artikler som dykker ned i ideene utviklet av den anerkjente matematikeren og filosofer L.E.J. Brouwer, grunnleggeren av intuitionisme.

Forstå valgets rolle i matematikk

Enrico Martino utforsker hvordan intuisjonistisk sannhet blir til gjennom kreative valg, og stiller viktige spørsmål om hvordan dette perspektivet kan unngå klassisk realisme. I boken finner du:

• Diskusjoner om barteoremet: Hvordan disse teoremene relaterer seg til valg og bevis.
• Type teori: En analyse av de underliggende strukturene i matematikken.
• Induktive bevis: Hvordan valg spiller en rolle selv i klassisk logikk.
• Beth-modeller og feilbare modeller: En kritisk vurdering av matematikernes respons til Brouwers ideer.

Boken henvender seg til forskere og masterstudenter med interesse for filosofien bak matematikk, lingvistikk og de dype spørsmålene i denne disiplinen.

Hvorfor velge Martino's verk?

Ved å lese Martino, Enrico Intuitionistic Proof Versus Classical Truth, får du ikke bare teoretisk kunnskap, men også en dypere forståelse av den menneskelige komponenten i matematikken. Enten du er en erfaren matematiker eller student, vil denne boken være et verdifullt tillegg til din bibliotek.