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: 8159

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: Erich Grädel,Reinhard Kahle

Publisher: Springer Science & Business Media

ISBN: 3642040268

Category: Computers

Page: 567

View: 9749

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.

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: 1027

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.

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: 1898

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.

2009

DOWNLOAD NOW »

Author: Gerhard Lüdtke,K. G. Saur Verlag GmbH & Company,Kurschners Deutscher Gelehrten-Kalender,Hans Strodel,K. g. Saur,Hans Jaeger

Publisher: N.A

ISBN: 9783598236297

Category: German literature

Page: 5239

View: 7433

Each volume includes "Wissenschaftliche zeitschriften."

Einführung in die Modallogik

DOWNLOAD NOW »

Author: G.E. Hughes,Max J. Cresswell

Publisher: Walter de Gruyter

ISBN: 3110830027

Category: Philosophy

Page: 350

View: 7668

Analysis 1

DOWNLOAD NOW »

Author: Konrad Königsberger

Publisher: Springer-Verlag

ISBN: 3642973884

Category: Mathematics

Page: 360

View: 9744

In kurzer und prägnanter Form wird die Analysis der Grundvorlesung vorgestellt. Im Gegensatz zu den Analysisbänden von Blatter und Forster finden sich hier viele historische Anmerkungen. Außerdem wird viel Wert auf sachbezogene Motivation gelegt. Zusammen mit dem zum Wintersemester erscheinenden Band Analysis 2 eignet sich dieses Werk hervorragend zur Prüfungsvorbereitung nicht nur für Mathematikstudenten, sondern gerade auch für Informatik-, Physik- und Technikstudenten.

Liebe und Mathematik

Im Herzen einer verborgenen Wirklichkeit

DOWNLOAD NOW »

Author: Edward Frenkel

Publisher: Springer-Verlag

ISBN: 3662434210

Category: Mathematics

Page: 317

View: 3444

Numerische Näherungsverfahren für elliptische Randwertprobleme

Finite Elemente und Randelemente

DOWNLOAD NOW »

Author: Olaf Steinbach

Publisher: Springer-Verlag

ISBN: 3322800547

Category: Mathematics

Page: 363

View: 8570

Für die näherungsweise Lösung von Randwertproblemen zweiter Ordnung wird eine einheitliche Theorie der Finiten Elemente Methode und der Randelementmethode präsentiert. Neben der Stabilitäts- und Fehleranalysis wird vor allem auf effiziente Lösungsverfahren eingegangen. Für die Diskretisierung der auftretenden Randintegraloperatoren werden schnelle Randelementmethoden (Wavelets, Multipol, algebraische Techniken) mit der Darstellung durch partielle Integration verknüpft. Durch die Kopplung von FEM und BEM mittels Gebietszerlegungsmethoden können gekoppelte Randwertprobleme in komplexen Strukturen behandelt werden. Numerische Beispiele illustrieren die theoretischen Aussagen.

Jenseits von Natur und Kultur

DOWNLOAD NOW »

Author: Philippe Descola

Publisher: Suhrkamp Verlag

ISBN: 3518768409

Category: Social Science

Page: 638

View: 3991

Seit der Zeit der Renaissance ist unser Weltbild von einer zentralen Unterscheidung bestimmt: der zwischen Natur und Kultur. Dort die von Naturgesetzen regierte, unpersönliche Welt der Tiere und Dinge, hier die Menschenwelt mit ihrer individuellen und kulturellen Vielfalt. Diese fundamentale Trennung beherrscht unser ganzes Denken und Handeln. In seinem faszinierenden Buch zeigt der große französische Anthropologe und Schüler von Claude Lévi-Strauss, Philippe Descola, daß diese Kosmologie alles andere als selbstverständlich ist. Dabei stützt er sich auf reiches Material aus zum Teil eigenen anthropologischen Feldforschungen bei Naturvölkern und indigenen Kulturen in Afrika, Amazonien, Neuguinea oder Sibirien. Descola führt uns vor Augen, daß deren Weltbilder ganz andersartig aufgebaut sind als das unsere mit seinen »zwei Etagen« von Natur und Kultur. So betrachten manche Kulturen Dinge als beseelt oder glauben, daß verwandtschaftliche Beziehungen zwischen Tieren und Menschen bestehen. Descola plädiert für eine monistische Anthropologie und entwirft eine Typologie unterschiedlichster Weltbilder. Auf diesem Wege lassen sich neben dem westlichen dualistischen Naturalismus totemistische, animistische oder analogistische Kosmologien entdecken. Eine fesselnde Reise in fremde Welten, die uns unsere eigene mit anderen Augen sehen läßt.

Begriffsschrift und andere Aufsätze

Mit E. Husserls und H. Scholz' Anmerkungen herausgegeben von Ignacio Angelelli

DOWNLOAD NOW »

Author: Gottlob Frege

Publisher: Georg Olms Verlag

ISBN: 3487006235

Category: Philosophy

Page: 124

View: 7772

Dieser Band enthält die vier Arbeiten Freges: Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache, 1879; Anwendungen der Begriffsschrift, 1879; Über den Briefwechsel Leibnizens und Huggens mit Papin, 1881; Über den Zweck der Begriffsschrift, 1883; Über die wissenschaftliche Berechtigung einer Begriffsschrift, 1882. Frege's research work in the field of mathematical logic is of great importance for the present-day analytic philosophy. We actually owe to Frege a great amount of basical insight and exemplary research, which set up a new standard also in other fields of knowledge. As the founder of mathematical logic he severely examindes the syllogisms on which arithmetic is built up. In doing so, Frege recognized that our colloquial language is inadequate to define logic structures. His notional language corresponded to the artaivicial logical language demandes by Leibniz. Frege's achievement in the field of logic were so important, that they radiated into the domain of philosophy and influenced the development of mathematical logic decisively.

Philosophie der Orientierung

DOWNLOAD NOW »

Author: Werner Stegmaier

Publisher: Walter de Gruyter

ISBN: 3110210630

Category: Philosophy

Page: 817

View: 4496

Everyone talks about orientation, but there have been hardly any attempts since Kant to say exactly what orientation is. It is the most everyday thing, the point from which all things depart and to which all return. As such, it is a philosophical question. In a debate with the most important philosophical approaches to this subject, Werner Stegmaier explains the conditions and structures of everyday orientation in which sexual, political, religious, and ethical orientation are embedded, and in doing so, gives philosophy a new foundation.