From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

DOWNLOAD NOW »

Author: Laura Crosilla,Peter Schuster

Publisher: Oxford University Press on Demand

ISBN: 0198566514

Category: Mathematics

Page: 350

View: 1497

Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.

Computer Science Logic

23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

DOWNLOAD NOW »

Author: European Association for Computer Science Logic

Publisher: Springer Science & Business Media

ISBN: 3642040268

Category: Computers

Page: 567

View: 4105

This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science.

Logicism, Intuitionism, and Formalism

What Has Become of Them?

DOWNLOAD NOW »

Author: Sten Lindström,Erik Palmgren,Krister Segerberg,Viggo Stoltenberg-Hansen

Publisher: Springer Science & Business Media

ISBN: 1402089260

Category: Mathematics

Page: 512

View: 6865

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.

Logic, Mathematics, Philosophy, Vintage Enthusiasms

Essays in Honour of John L. Bell

DOWNLOAD NOW »

Author: David DeVidi,Michael Hallett,Peter Clark

Publisher: Springer Science & Business Media

ISBN: 9789400702141

Category: Philosophy

Page: 486

View: 7655

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius), philosophy of mathematics (Michael Hallett, John Mayberry, Daniel Isaacson) and decision theory and foundations of economics (Ken Bimore). Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.