English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
"Multiplexed Networks for Embedded Systems: CAN, LIN, Flexray, Safe-by-Wire..." by Dominique Paret (Repost)
Dino Esposito, "Building Web Solutions with ASP.Net and ADO.NET" (Repost)
Learning Core Audio: A Hands-On Guide to Audio Programming for Mac and iOS
Power Performance - Multimedia Storytelling for Journalism and Public Relations
pluralsight-training.net SQL Server: Transact-SQL Basic Data Retrieval [2012, ENG]
pluralsight-training.net SQL Server: Collecting and Analyzing Trace Data [2012, ENG]
Pluralsight.net - Introduction to Nancy-JWARE
Technical Structured Programming with C++
Technical Getting Started with LaTeX by David R. Wilkins
Windows A Third Window - Natural Life beyond Newton and Darwin
PLURALSIGHT.NET WINDOWS 8 METRO CONNECTED APPS-JGTiSO
PLURALSIGHT.NET WINDOWS 8 METRO APPLICATION DATA-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C PLUS PLUS AND XAML-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C SHARP AND XAML-JGTiSO
PLURALSIGHT.NET INTRODUCTION TO BUILDING WINDOWS 8 METRO APPLICATIONS-JGTiSO
Multimedia over IP and Wireless Networks - Compression, Networking, and Systems
Interactive Distributed Multimedia Systems and Telecommunication Services
The Art of Hardware Architecture - Design Methods and Techniques for Digital Circuits
Pro/ENGINEER WILDFIRE 5.0 Tutorial and MultiMedia CD
Useful Links
Technical Essays on the Foundations of Mathematics by Moritz Pasch
Posted on 2010-08-07
|  |
More Essays on the Foundations of Mathematics by Moritz Pasch Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he explores "implicit definition" (a generalization of definition by abstraction) and indicates how this technique yields an "empiricist" reconstruction of set theory; he argues that we cannot fully understand the logical structure of mathematics without clearly distinguishing between decidable and undecidable properties; he offers a rare glimpse into the mind of a master of axiomatics, surveying in detail the thought experiments he employed as he struggled to identify fundamental mathematical principles; and much more. This volume will: Give English speakers access to an important body of work from a turbulent and pivotal period in the history of mathematics, help us look beyond the familiar triad of formalism, intuitionism, and logicism, show how deeply we can see with the help of a guide determined to present fundamental mathematical ideas in ways that match our human capacities, will be of interest to graduate students and researchers in logic and the foundations of mathematics. My Links
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (DOWNLOAD) | Alive |
| Download Link (Mirror) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics): Paul Taylor Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics): Paul Taylor Cambridge University Press | ISBN: 0521631076 | 1999-05-13 | PDF (OCR) | 588 pages | 1.38 Mb Practical Foundations of Mathematics explains the ba ... |
 | Science/Engineering Intentional Mathematics (Studies in Logic and the Foundations of Mathematics) (Repost) Intentional Mathematics (Studies in Logic and the Foundations of Mathematics)By Stewart ShapiroPublisher:Elsevier Science Ltd | 1985 | 236 Pages | ISBN: 0444876324 | PDF | 6.96 MB“Platonism and intuitionism are rival philosophies of M ... |
 | The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics) The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics)North-Holland Pub. Co | 1965 | 206 pages | ISBN : B0006CJJ5Y | pdf | 9.2MBChapters I, II, and IV are by Kleene; Chapter III is by Vesley.Chap ... |
| Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics) Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics)ISBN: 0521631076 Publisher: Cambridge University Press Author: Paul TaylorDescription:Practical Foundations of Mathematics explains the basis of mathematica ... |
| Intentional Mathematics (Studies in Logic and the Foundations of Mathematics) Intentional Mathematics (Studies in Logic and the Foundations of Mathematics)Elsevier Science Ltd | ISSN 0444876324 | 1985-03 | PDF | 236 Pages | 4,6 Mb |
 | Outlines of a Formalist Philosophy of Mathematics (Studies in Logic and the Foundations of Mathematics 3) Outlines of a Formalist Philosophy of Mathematics (Studies in Logic and the Foundations of Mathematics 3)Haskell B. Curry | North-Holland | Pages: 75 | 1951-01 | ISBN : 0444533680 | PDF | 2.7 MBThe Journal of Symbolic Logic publishes origi ... |
Comments (0)
