Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

Geometrical and physical intuition, both untutored andcultivated, is ubiquitous in the research, teaching,and development of mathematics. A number ofmathematical ``monsters'', or pathological objects, havebeen produced which – according to somemathematicians – seriously challenge the reliability ofintuition. We examine several famous geometrical,topological and set-theoretical examples of suchmonsters in order to see to what extent, if at all,intuition is undermined in its everyday roles.

Let me start by saying that I had the privilege of witnessing the birth of Jon Barwise's new research on heterogeneous logic and its subsequent developments. I entered the Stanford philosophy graduate program in the Fall of 1987, became Barwise and Etchemendy's first research assistant on the project of diagrammatic/heterogeneous reasoning during summer of 1989, and under their guidance completed my thesis, “Valid reasoning and visual representation,” in August, 1991. With this experience I would like to focus on the more (...) personal and informal aspects of Jon's research on heterogeneous logic which may not be conveyed by his articles. (Accordingly, I have written this paper without footnotes or other references except to Jon's work.) The present article can only hint at the depth and the influence of Jon's work in this area.In the first section, I single out an important feature of the project on heterogeneous logic Jon founded together with John Etchemendy about 15 years ago. I title it “resolving conflicts” since the research, I strongly believe, grew out of Jon's personal attitude toward how to resolve a tension between opposite extremes.The second section focuses on how teaching logic itself was shaped as part of Barwise and Etchemendy's research agenda. It is worthwhile noting that their textbookLanguage, Proof, and Logicconstitutes part of their research and, hence, the success of the book vindicates the goal of the overall project. (shrink)

An examination of the emergence of the phenomenon of deductive argument in classical Greek mathematics.

In this paper we discuss visualizations in mathematics from a historical and didactical perspective. We consider historical debates from the 17th and 19th centuries regarding the role of intuition and visualizations in mathematics. We also consider the problem of what a visualization in mathematical learning can achieve. In an empirical study we investigate what mathematical conclusions university students made on the basis of a visualization. We emphasize that a visualization in mathematics should always be considered in its proper context.

We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.