國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Truth through proofa formalist found...

~

Weir, Alan.

Truth through proofa formalist foundation for mathematics /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Truth through proofAlan Weir.
Reminder of title:	a formalist foundation for mathematics /
Author:	Weir, Alan.
Published:	Oxford :Oxford University Press,2010.
Description:	1 online resource (xiv, 281 p.) :ill.
Subject:	MathematicsPhilosophy.
Online resource:	http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
ISBN:	9780191594915 (ebook) :

Truth through proofa formalist foundation for mathematics /
Weir, Alan.

Truth through proofa formalist foundation for mathematics /[electronic resource] :Alan Weir. - Oxford :Oxford University Press,2010. - 1 online resource (xiv, 281 p.) :ill.

Includes bibliographical references and index.

'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.

ISBN: 9780191594915 (ebook) :No priceSubjects--Topical Terms:

187658
Mathematics
--Philosophy.

LC Class. No.: QA8.4

Dewey Class. No.: 510.1

Truth through proofa formalist foundation for mathematics /
LDR:01208nmm 2200253 a 4500 001 347328
003 StDuBDS
005 20120601162315.0
006 m||||||||d||||||||
007 cr||||||||||||
008 121113s2010 enka fo 001 0 eng d
020 $a 9780191594915 (ebook) : $c No price
020 $a 0191594911 (ebook) : $c No price
035 $a EDZ0000076353
040 $a StDuBDS $c StDuBDS
050 4 $a QA8.4
082 0 4 $a 510.1 $2 22
100 1 $a Weir, Alan. $3 578650
245 1 0 $a Truth through proof $h [electronic resource] : $b a formalist foundation for mathematics / $c Alan Weir.
260 $a Oxford : $b Oxford University Press, $c 2010.
300 $a 1 online resource (xiv, 281 p.) : $b ill.
504 $a Includes bibliographical references and index.
520 8 $a 'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.
588 $a Description based on print version record.
650 0 $a Mathematics $x Philosophy. $3 187658
650 0 $a Logic, Symbolic and mathematical. $3 180452
776 0 8 $i Print version $z 9780199541492
856 4 0 $3 Oxford scholarship online $u http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000071711

電子館藏

1圖書

電子書

EB QA8.4 2010

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login