Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.

On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of mathematics, once (...) and for all? What of proof theory, the very subject Hilbert invented to carry out his program? The Hilbertian ambition reached out too far: in its original form, the program was refuted by Gödel's Incompleteness Theorems. And even allowing more than finitist means in metamathematics, the Hilbertian expectations for proof theory have not been realized: a constructive consistency proof for second-order arithmetic is still out of reach. Nevertheless, remarkable progress has been made. Two separate, but complementary directions of research have led to surprising insights: classical analysis can be formally developed in conservative extensions of elementary number theory; relative consistency proofs can be given by constructive means for impredicative parts of second order arithmetic. The mathematical and metamathematical developments have been accompanied by sustained philosophical reflections on the foundations of mathematics. This indicates briefly the main themes of the contributions to the symposium; in my introductory remarks I want to give a very schematic perspective, that is partly historical and partly systematic. (shrink)

Wilfred Sieg. Relative Consistency and Accesible Domains.

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.

Prologue: autumn aroma -- What's left? -- Arts of noticing -- Contamination as collaboration -- Some problems with scale -- Interlude: smelling -- After progress : salvage accumulation -- Working the edge "freedom" -- Open ticket, Oregon -- War stories -- What happened to the state? : two kinds of Asian Americans in translation -- Between the dollar and the yen -- From gifts to commodities and back -- Salvage rhythms : business in disturbance -- Interlude: tracking -- Disturbed beginnings (...) : unintentional design -- The life of the forest : coming up among pines -- History -- Resurgence -- Serendipity -- Ruin in gaps and patches -- In science as translation -- Flying spores -- Interlude: dancing -- In the middle of things -- Matsutake crusaders -- Ordinary assets -- Anti-ending : some people I met along the way -- Spore trail: the further adventures of a mushroom -- Notes -- Index. (shrink)

Peut-on changer d’échelle sans changer de nature? Sans doute quantité de phénomènes sont altérés quand on étend leur domaine d’exercice : il y a plus qu’une différence de taille entre un jardin de quelques mètres carrés et un alignement de serres sur plusieurs hectares. La modernité coloniale s’est distinguée par cette sorte de foi en la « scalabilité » de la production. Son modèle est la plantation esclavagiste : un système fondé sur l’exploitation de vivants humains et non-humains qu’on coupe (...) de leur racine et de leur environnement natif. La logique des « économies d’échelle », la logique de l’expansion emprunte son idéologie à cette histoire et c’est pourquoi il est nécessaire de lui opposer un antidote : la description et l’invention de mondes non-scalables, où les agents ne sont pas interchangeables, où les réseaux de dépendance sont locaux, situés, et mutuellement transformateurs pour ceux qui y vivent et ceux qui en bénéficient. (shrink)

Propõe-se protocolo de utilização pedagógica de mídias e cultura popular para desenvolver conhecimentos sobre direito e suas imbricações com os conceitos de biopoder e biopolítica. As práticas apresentadas têm por público alvo crianças, adolescentes e adultos, sendo escolhidas três obras, cada uma delas correspondente a uma das diferentes faixas etárias. Para a elaboração do presente texto, utilizou-se de fundamentação teórica jurídica e dos estudos foucaultianos, assim como estudo empírico das obras audiovisuais.

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...) is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

We establish by elementary proof-theoretic means the conservativeness of two subsystems of analysis over primitive recursive arithmetic. The one subsystem was introduced by Friedman [6], the other is a strengthened version of a theory of Minc [14]; each has been shown to be of considerable interest for both mathematical practice and metamathematical investigations. The foundational significance of such conservation results is clear: they provide a direct finitist justification of the part of mathematical practice formalizable in these subsystems. The results are (...) generalized to relate a hierarchy of subsystems, all contained in the theory of arithmetic properties, to a corresponding hierarchy of fragments of arithmetic. The proof theoretic tools employed there are used to re-establish in a uniform, elementary way relationships between various fragments of arithmetic due to Parsons, Paris and Kirby, and Friedman. (shrink)

Zuerst im 2CV, dann im umgebauten VW-Bus: Das Zürcher Fotografenpaar Margrit und Ernst Baumann, 1929 bzw. 1928 geboren, begann in den 1950er-Jahren rund um den Erdball zu reisen. Ihre Fotografien publizierten sie in Zeitschriften und Zeitungen wie Stern, Neue Zürcher Zeitung oder Das gelbe Heft und brachten so die Welt in die Wohnzimmer. Kosmopolitan und neugierig kamen sie zu Motiven mit Seltenheitswert: Farbporträts von Che Guevara gehören ebenso dazu wie Reportagen über die letzten Kopfjäger im ecuadorianischen Urwald. Ein Schwerpunkt dieser (...) reich bebilderten Doppelmonografie ist ihre Reise entlang der “Panamericana” 1957-1959, die Süd- und Nordamerika verbindet. Sie fotografierten Reportagen, Porträts und Landschaftsbilder und drehten den wohl ersten Farbfilm über den legendären Verkehrsweg. Dieser Film und ein Filporträt über die beiden Fotografen sind dem Buch auf DVD beigefügt. Das Buch präsentiert Funde aus ihrem Fotoarchiv - viele Bilder erstmals im Originalausschnitt - sowie Publikationen in Zeitschriften. Der Historiker und Schriftsteller Wilfried Meichtry erzählt vom ereignisreichen Leben des Paars, das sich zeitlebens als journalistische Handwerker verstanden hat. Der Fotohistoriker Markus Schürpf ordnet ihr Werk in die Foto- und Pressegeschichte ein, Nadine Olonetzky verfasst Begleittexte zu den Bildern. Eine Entdeckung in der Schweizer Fotogeschichte. (shrink)

The paper discusses the problem of global distributive justice. It proposes to distinguish between principles for the domestic and for the global or intersocietal distribution of wealth. It is argued that there may be a plurality of partly diverging domestic conceptions of distributive justice, not all of which need to be liberal egalitarian conceptions. It is maintained, however, that principles regulating the intersocietal distribution of wealth have to be egalitarian principles. This claim is defended against Rawls's argument in The Law (...) of Peoples that egalitarian principles of distributive justice should not be applied globally. Moreover, it is explained in detail, why Rawls's “duty of assistance to burdened societies” cannot be an appropriate substitute for a global principle of distributive justice. (shrink)

Wilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines.

The Belgian polyarchy has developed into a «particracy» in which the political parties have a preponderant impact on the political decisionmaking.As in every polyarchy, the political parties fulfill a set of vital functions in the Belgian system. But that does not explain its «particratie» particularity. The particracy arises as a consequence of four factors. The parties are fixed by the «zuilen» into an «internal-imperialistic» role. The power of the parties increased considerably, an increase of which the politization of the instruments (...) for, and the agencies of, policy is one of the most important, together with the capability of making and unmaking issues. The impact and power of the opponents of the parties in the decision-making process have been diminished to a considerable extent. This weakening involves the king, the parliament, theadministration, the electorate, and, ultimately, the cabinet because of the growing impact of the parties on policy design and policy output as well as on the appointment of ministers. Finally, the choice of the consociational pattern of politics of accomodation by the elite indicates the instrumental function of particracy in Belgian politics. (shrink)

This commentary focuses on Hommel et al.'s inferences on action planning. It discusses the relevance of anticipated extrinsic movement effects for action control, the problems of a feature-based representation of actions, and the necessity of the acquisition of conditional movement-effect associations.

The covariant and relativistic generalization of the Helmholtz integral vorticity theorems and Thomson's circulation theorem are derived.

Wilfred Sieg and Rosella Lupiccini. Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy.

— via appropriate substitutions — syntactically identical. The method can be applied directly to quantifierfree formulae and, in this paper, will b e extended in a natural and strai ghlforward way to quantified formulae.

The Carnegie Mellon Proof Tutor project was motivated by pedagogical concerns: we wanted to use a "mechanical" (i.e. computerized) tutor for teaching students..

Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.

Wilfried Sieg. Calculations by Man and Machine: Mathematical Presentation.

Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (shrink)

Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...) to be seen against the background of the stunning presentation of mathematical logic in the lectures given during the winter term 1917/18. In this paper, I sketch the connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century, describe the work that laid the basis of modern mathematical logic, and analyze the first steps in the new subject of proof theory. A revision of the standard view of Hilbert's and Bernays's contributions to the foundational discussion in our century has long been overdue. It is almost scandalous that their carefully worked out notes have not been used yet to understand more accurately the evolution of modern logic in general and of Hilbert's Program in particular. One conclusion will be obvious: the dogmatic formalist Hilbert is a figment of historical (de)construction! Indeed, the study and analysis of these lectures reveal a depth of mathematical-logical achievement and of philosophical reflection that is remarkable. In the course of my presentation many questions are raised and many more can be explored; thus, I hope this paper will stimulate interest for new historical and systematic work. (shrink)

This chapter contains section titled: Human Rights in Rawls's The Law of Peoples Human Rights as Universal Claim Rights Human Rights Minimalism and the Problem of Justification Acknowledgments Notes.

Contemporary philosophy is said to focus on particular issues, rather than on comprehensive syntheses. The following contribution intends to join this trend by offering some reflections on the “animal rights” debate, which is to be situated within the wider context of environmental philosophy. While classical Western concepts of man were anthropocentric, recent cultural developments have triggered a rediscovery of Nature, especially of nonhuman animals, while focusing on their affiliations with us, humans. Appropriate relations with those animals require a respectful attitude (...) on the human side, as if those animals had full moral and legal rights. But is this not an illusion? Can we talk about real “rights” for animals, or should we just remain aware of them having their own feelings and take care not to hurt them, unless for a “serious” cause? While taking note of the wide variety of animal species and habitats , the answer to this question may have its bearings on one’s personal choices regarding food, clothing, entertainment, etc. (shrink)

Dieser Artikel widerspricht der Deutung der sog. Schriftkritik am Ende des Phaidros, wie sie von den Vertretern der esoterischen Platoninterpretation vorgetragen wird. In esoterischer Sicht handelt es sich um den einzigen Abschnitt in den Dialogen, der ausdrücklich auf eine mündliche Lehre Platons hinweist. Der Hinweis soll in Sokrates' These liegen, im Unterschied zu anderen Autoren übertreffe der Philosoph seine Schriften mit wertvolleren Inhalten, die er nur mündlich lehre.Der Einwand gegen diese Interpretation lautet, daß Platon den inhaltlichen Wertunterschied nicht zwischen Schriften (...) und mündlichen Reden von Philosophen sieht, sondern zwischen kunstlosen Reden und Schriften konventioneller Autoren einerseits und kunstgerechten, d.h. dialektischen Reden und Schriften von Philosophen andererseits. Philosophische Reden unterscheiden sich von philosophischen Schriften in formaler Hinsicht: nur Reden belehren, Schriften sind Erinnerungshilfe. (shrink)