Listing 1 - 10 of 218 << page
of 22
>>
Sort by
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Authors: --- --- --- ---
ISBN: 9780521884242 0521884241 0511721153 Year: 2007 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invited talks. This volume includes surveys, tutorials, and selected research papers from the 2004 meeting. Highlights include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration.

Einführung in die mathematisch Logik
Authors: --- ---
ISBN: 9783827416919 Year: 2007 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London
Authors: --- --- ---
ISBN: 9053563563 9048501121 9789048501120 Year: 2007 Publisher: Amsterdam : Amsterdam University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A collection of excellent research papers in logic, mathematics, computer science and game theory

Logic's lost genius : the life of Gerhard Gentzen
Authors: ---
ISBN: 0821835505 9780821835500 Year: 2007 Publisher: Providence (R.I.): American mathematical society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Authors: --- ---
ISBN: 9780511546464 9780521884259 9780521329637 9780511355806 0511355807 0511546467 0511355289 9780511355288 052188425X 1107186153 1281153583 9786611153588 1139133551 0511354762 0511354185 0521329639 Year: 2007 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

Schaum's outline of discrete mathematics
Authors: ---
ISBN: 0071470387 9780071470384 Year: 2007 Publisher: New York [u.a.]: McGraw-Hill,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
What is meant by v? : reflections on the universe of all sets
Author:
ISBN: 3969750377 Year: 2007 Publisher: Paderborn, Germany : Mentis,

Loading...
Export citation

Choose an application

Bookmark

Abstract

That the structure V = UaVa be the universe of all sets, that the set theoretical axioms be true assertions about V or that a question like the Continuum Hypothesis be still open (since it is undecided whether it holds or fails in V) are common assertions in set theory. How one is to understand them, tough, is not an obvious matter. The aim of this book is just to interpret the façon de parler that V is the universe of all sets in a way that is faithful to what is actually done in set theory.


Book
Reelle Zahlen : Das klassische Kontinuum und die natürlichen Folgen
Author:
ISBN: 3540453881 Year: 2007 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Scientific progress : a study concerning the nature of the relation between successive scientific theories
Author:
ISBN: 1281339237 9786611339234 1402063547 1402063539 Year: 2007 Volume: 153 Publisher: Dordrecht ; [London] : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Kuhn and Feyerabend formulated the problem. Dilworth provides the solution. In this highly original and insightful book, Craig Dilworth answers all the questions raised by the incommensurability thesis. Logical empiricism cannot account for theory conflict. Popperianism cannot account for how one theory is a progression beyond another. Dilworth’s Perspectivist conception of science does both. While remaining within the bounds of classical philosophy of science, Dilworth does away with the logicism of his competitors. On the Perspectivist view theory conflict is not contradiction, and theory superiority does not consist in deductive subsumption or set-theoretic inclusion. Here the relation between theories is analogous to the application of individual concepts, and the question of theory superiority becomes one of relative applicability. In this way Dilworth succeeds in providing a conception of science in which scientific progress is based on both rational and empirical considerations. "[Dilworth] convincingly works out how from his point of view it is possible to explain the conflict between two theories as an incompatibility of perspectives, and at the same time avoid sliding into relativism by giving criteria for scientific progress." Dialectica.

Listing 1 - 10 of 218 << page
of 22
>>
Sort by