0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • R2,500 - R5,000 (6)
  • -
Status
Brand

Showing 1 - 7 of 7 matches in All Departments

Probability Theory - Philosophy, Recent History and Relations to Science (Hardcover, 2001 ed.): Vincent F Hendricks, Stig Andur... Probability Theory - Philosophy, Recent History and Relations to Science (Hardcover, 2001 ed.)
Vincent F Hendricks, Stig Andur Pedersen, Klaus Frovin Jorgensen
R2,987 Discovery Miles 29 870 Ships in 10 - 15 working days

This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http://mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).

Knowledge Contributors (Hardcover, 2003 ed.): Vincent F Hendricks, Klaus Frovin Jorgensen, Stig Andur Pedersen Knowledge Contributors (Hardcover, 2003 ed.)
Vincent F Hendricks, Klaus Frovin Jorgensen, Stig Andur Pedersen
R2,993 Discovery Miles 29 930 Ships in 10 - 15 working days

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

Proof Theory - History and Philosophical Significance (Hardcover, 2000 ed.): Vincent F Hendricks, Stig Andur Pedersen, Klaus... Proof Theory - History and Philosophical Significance (Hardcover, 2000 ed.)
Vincent F Hendricks, Stig Andur Pedersen, Klaus Frovin Jorgensen
R3,022 Discovery Miles 30 220 Ships in 10 - 15 working days

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics."

Proof Theory - History and Philosophical Significance (Paperback, Softcover reprint of hardcover 1st ed. 2000): Vincent F... Proof Theory - History and Philosophical Significance (Paperback, Softcover reprint of hardcover 1st ed. 2000)
Vincent F Hendricks, Stig Andur Pedersen, Klaus Frovin Jorgensen
R2,867 Discovery Miles 28 670 Ships in 10 - 15 working days

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics."

Probability Theory - Philosophy, Recent History and Relations to Science (Paperback, Softcover reprint of hardcover 1st ed.... Probability Theory - Philosophy, Recent History and Relations to Science (Paperback, Softcover reprint of hardcover 1st ed. 2001)
Vincent F Hendricks, Stig Andur Pedersen, Klaus Frovin Jorgensen
R2,849 Discovery Miles 28 490 Ships in 10 - 15 working days

This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http://mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).

Knowledge Contributors (Hardcover, Softcover reprint of the original 1st ed. 2003): Vincent F Hendricks, Klaus Frovin... Knowledge Contributors (Hardcover, Softcover reprint of the original 1st ed. 2003)
Vincent F Hendricks, Klaus Frovin Jorgensen, Stig Andur Pedersen
R2,854 Discovery Miles 28 540 Ships in 10 - 15 working days

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

Moderne Elementaer Logik (Danish, Paperback): Vincent F Hendricks, Stig Andur Pedersen Moderne Elementaer Logik (Danish, Paperback)
Vincent F Hendricks, Stig Andur Pedersen
R699 Discovery Miles 6 990 Ships in 10 - 15 working days

Alle mennesker er i stand til at udf re korrekte logiske slutninger, men vi g r os sj ldent klart, hvordan vi b rer os ad. Det kan logikkenfort lle os, og derfor spiller den en s vigtig rolle i mange modernevidenskaber. Moderne element r logik l seren gennem den moderne logik og denssystemer - fra klassisk udsagnslogik for f rste ordens pr dikatslogik tilmodallogik, herunder aletisk, temporal og epistemisk logik. Bogen inde-holder ligeledes kapitler af mere avanceret karakter om formelle strukturer, modelteori og metateoretisk analyse af udsagnslogik samt f rsteordenslogik.Bogen er tilrettelagt med henblik p universiteternes grunduddannelseri bl.a. filosofi, matematik, datalogi, lingvistik og retorik, men henvendersig ogs til studerende p overbygningsuddannelsernes specialkurser - og i det hele taget enhver, der interesser sig for "t nkningens love."2. reviderede udgave, 2011

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Ultra Link UL-DB2350 Swivel Wall Bracket…
R254 Discovery Miles 2 540
Loot
Nadine Gordimer Paperback  (2)
R375 R347 Discovery Miles 3 470
Christmas Nativity Set - 11 Pieces
R599 R539 Discovery Miles 5 390
Lumi Sit-Stand Adjustable Electric Desk…
R8,379 Discovery Miles 83 790
Elektra Health 8076 Electrode Hot Steam…
 (14)
R580 R511 Discovery Miles 5 110
Loot
Nadine Gordimer Paperback  (2)
R375 R347 Discovery Miles 3 470
Tower Self-Adhesive Sign - No Dogs…
R80 R66 Discovery Miles 660
HP P24h G5 23.8" FHD IPS Panel Monitor
R5,000 R4,219 Discovery Miles 42 190
Presumed Guilty
Scott Turow Paperback R430 R229 Discovery Miles 2 290
Wonder Plant Food Stix - Premium Plant…
R48 Discovery Miles 480

 

Partners