mathematik / logik  (623 Angebote unter 29.216.241 Artikeln)

In this volume the author develops and applies methods for proving, from large cardinals, the determinacy of definable games of countable length on natural numbers. The determinacy is ultimately de...

This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself. These lectures...

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematician...

Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II

This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributi...

Diese vierte Sammlung von Arbeiten, die an die bereits vorliegende dreibändige Sammlung von Arbeiten des Verfassers anschließt, ist in drei Teile gegliedert, deren erster die längst vergriffenen Sc...

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Die Frage, welches der vielen divergierenden modernen Logiksysteme ,,die eine, richtige" Logik enthält, wird von Logikern gerne zurückgewiesen: eine solche Logik gebe es nicht. In Michael Wolffs Bu...

Für ein erfolgreiches Informatikstudium ist ein fundiertes Wissen der Mathematik unentbehrlich. Dieses Lehrbuch vermittelt in exakter und verständlicher Weise die nötigen Grundlagen. Ein großer Vor...

The authors devise axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. I...

1. Das Paradoxon der unerwarteten Hinrichtung.- 2. Knoten und Barromäische Ringe.- 3. Die transzendentale Zahl.- 4. Geometrische Zerlegungen.- 5. Über Glücksspiele.- 6. Die Kirche der vierten Dimen...

Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel'sche Arbeit in ihrer ursp...

Logisches Denken ist eine der Grundvoraussetzungen, um sich in dieser Welt zurechtzufinden. Mit den vorliegenden 30 Logikrätseln werden die Gehirnzellen ordentlich angestrengt - und nebenbei wird a...

Husserls Werk ist an begrifflichen Herausforderungen gewiss nicht arm, was durchaus seiner messianischen Überzeugung entspricht, »dass aus meiner Lebensarbeit eine völlige Umwälzung des ganzen Stil...