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

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

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

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

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.

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

Liebe und Mathematik

Im Herzen einer verborgenen Wirklichkeit

DOWNLOAD NOW »

Author: Edward Frenkel

Publisher: Springer-Verlag

ISBN: 3662434210

Category: Mathematics

Page: 317

View: 2404

Bayesianische Erkenntnistheorie

DOWNLOAD NOW »

Author: Luc Bovens,Stephan Hartmann

Publisher: N.A

ISBN: 9783897850675

Category: Bayesian statistical decision theory

Page: 170

View: 6117

Grundprobleme der Philosophie

DOWNLOAD NOW »

Author: George Edward Moore

Publisher: Walter de Gruyter

ISBN: 3110323729

Category: Philosophy

Page: 419

View: 5288

Der vorliegende Band ist die schriftliche Fassung einer Vorlesung, die Moore im Wintersemester 1910/11 an der Cambridge University als Einführung in die Philosophie gehalten hat und erst 1956, zwei Jahre vor seinem Tod, veröffentlicht wurde. Nach einer ausführlichen Erklärung dessen, was Philosophie überhaupt ist, was der Gegenstand und die Aufgabe der Philosophie ist, führt Moore im Ausgang von unseren sinnlichen Erfahrungen in das Gesamtgebiet der Philosophie ein. Behandelt werden Themen wie Existenz, materielle Dinge, Dinge in Raum und Zeit, Propositionen, Wissen und Erkennen, die Philosophie David Humes und weitere Themen. Der vorliegende Band ist sowohl für Philosophiestudenten und interessierte Laien zur Einführung in die Philosophie gut geeignet, als auch für den philosophischen Experten, der sich eingehender mit Moores Philosophie beschäftigen möchte.

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

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.

Fünf Minuten Mathematik

100 Beiträge der Mathematik-Kolumne der Zeitung DIE WELT

DOWNLOAD NOW »

Author: Ehrhard Behrends

Publisher: Springer-Verlag

ISBN: 3834890138

Category: Mathematics

Page: 254

View: 2184

Das Buch enthält einen Querschnitt durch die moderne und alltägliche Mathematik. Die 100 Beiträge sind aus der Kolumne "Fünf Minuten Mathematik" hervorgegangen, in der verschiedene mathematische Gebiete in einer für Laien verständlichen Sprache behandelt wurden. Diese Beiträge wurden für das Buch überarbeitet, stark erweitert und mit Illustrationen versehen. Der Leser findet hier den mathematischen Hintergrund und viele attraktive Fotos zur Veranschaulichung der Mathematik.

Analysis I

DOWNLOAD NOW »

Author: Christiane Tretter

Publisher: Springer-Verlag

ISBN: 3034803494

Category: Mathematics

Page: 157

View: 8966

Das Lehrbuch ist der erste von zwei einführenden Bänden in die Analysis. Es zeichnet sich dadurch aus, dass alle klassischen Themen der Analysis des ersten Semesters kompakt zusammengefasst sind und dennoch auf typische Anfängerprobleme eingegangen wird. Neben einer Einführung in die formale Sprache und die wichtigsten Beweistechniken der Mathematik bietet der Band eingängige Erläuterungen zu abstrakten Begriffen. Alle prüfungsrelevanten Inhalte sind abgedeckt und können anhand von Beispielen, Gegenbeispielen und Aufgaben nachvollzogen werden.

Jenseits von Natur und Kultur

DOWNLOAD NOW »

Author: Philippe Descola

Publisher: Suhrkamp Verlag

ISBN: 3518768409

Category: Social Science

Page: 638

View: 543

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.

Die vier Elemente der Baukunst

ein Beitrag zur vergleichenden Baukunde

DOWNLOAD NOW »

Author: Gottfried Semper,Hans Semper

Publisher: N.A

ISBN: N.A

Category: Architecture, Ancient

Page: 104

View: 9463