From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

Author: Laura Crosilla,Peter Schuster

Publisher: Oxford University Press on Demand

ISBN: 0198566514

Category: Mathematics

Page: 350

View: 3659

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

Author: European Association for Computer Science Logic

Publisher: Springer Science & Business Media

ISBN: 3642040268

Category: Computers

Page: 567

View: 4111

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

Author: David DeVidi,Michael Hallett,Peter Clark

Publisher: Springer Science & Business Media

ISBN: 9789400702141

Category: Philosophy

Page: 486

View: 8256

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?

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

Publisher: Springer Science & Business Media

ISBN: 1402089260

Category: Mathematics

Page: 512

View: 758

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

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

Publisher: Walter de Gruyter

ISBN: 3110830027

Category: Philosophy

Page: 350

View: 2649

Analysis 1

Author: Konrad Königsberger

Publisher: Springer-Verlag

ISBN: 3642973884

Category: Mathematics

Page: 360

View: 7026

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.

Bayesianische Erkenntnistheorie

Author: Luc Bovens,Stephan Hartmann

Publisher: N.A

ISBN: 9783897850675

Category: Bayesian statistical decision theory

Page: 170

View: 6818

Liebe und Mathematik

Im Herzen einer verborgenen Wirklichkeit

Author: Edward Frenkel

Publisher: Springer-Verlag

ISBN: 3662434210

Category: Mathematics

Page: 317

View: 449

Jenseits von Natur und Kultur

Author: Philippe Descola

Publisher: Suhrkamp Verlag

ISBN: 3518768409

Category: Social Science

Page: 638

View: 3180

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.

Numerische Näherungsverfahren für elliptische Randwertprobleme

Finite Elemente und Randelemente

Author: Olaf Steinbach

Publisher: Springer-Verlag

ISBN: 3322800547

Category: Mathematics

Page: 363

View: 3165

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.

Die Sonne, Stern unserer Erde

Author: Kenneth R. Lang

Publisher: Springer-Verlag

ISBN: 3662066823

Category: Science

Page: 282

View: 526

Eine faszinierende Entdeckungsreise zur Sonne und ihren unsichtbaren Welten. Für Fachkundige ebenso spannend zu lesen wie für Astronomie-Interessierte, führt das Buch verständlich in die Physik der Sonne ein und zeigt eindrucksvoll die Bedeutung des Sonnenlichts für das Leben auf der Erde. Gestützt auf neueste Forschungsergebnisse aus Radioteleskop- und Satellitenbeobachtungen beschreibt Kenneth Lang die gewaltigen atomenergetischen Prozesse der Sonne, den von ihr ausgehenden Neutrinofluß, ihre seismischen Aktivitäten, ihre Magnetfelder und Sonnenflecken, die Sonnenausbrüche und Protuberanzen, den Sonnenwind und den Einfluß der Sonne auf unser Klima und Wetter. Das Buch ist mit einer Fülle hervorragender Abbildungen ausgestattet, u.a. mit Fotomaterial der NASA, das hier zum ersten Mal veröffentlicht wird.

Fünf Minuten Mathematik

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

Author: Ehrhard Behrends

Publisher: Springer-Verlag

ISBN: 3658009985

Category: Mathematics

Page: 262

View: 5207

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. Der Leser findet hier den mathematischen Hintergrund und viele attraktive Fotos zur Veranschaulichung der Mathematik. Für die Neuauflage wurde der Text aktualisiert und ergänzt; anhand von QR-Codes können zu verschiedenen Themen kurze Filme bei Youtube abgerufen werden.