Search results for 'Mathematics Congresses' (try it on Scholar)

1000+ found
Sort by:
  1. Matthias Schirn (ed.) (1998). The Philosophy of Mathematics Today. Clarendon Press.score: 96.0
    This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) (1992). The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. W. De Gruyter.score: 96.0
    The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Imre Lakatos (ed.) (1967). Problems in the Philosophy of Mathematics. Amsterdam, North-Holland Pub. Co..score: 92.0
    In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Fred Richman (ed.) (1981). Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. [REVIEW] Springer-Verlag.score: 90.0
  5. Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.) (1989). Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.score: 82.0
    The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. A. Díez, Javier Echeverría & Andoni Ibarra (eds.) (1990). Structures in Mathematical Theories: Reports of the San Sebastian International Symposium, September 25-29, 1990. Argitarapen Zerbitzua Euskal, Herriko Unibertsitatea.score: 70.0
     
    My bibliography  
     
    Export citation  
  7. A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..score: 60.0
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) (1982). The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 60.0
    No categories
     
    My bibliography  
     
    Export citation  
  9. Gerd Wechsung (ed.) (1984). Frege Conference 1984: Proceedings of the International Conference Held at Schwerin, Gdr, September 10-14, 1984. Akademie-Verlag.score: 60.0
  10. Guy K. White (ed.) (1980). Changing Views of the Physical World, 1954-1979. Australian Academy of Science.score: 60.0
  11. Gabriel V. Orman (ed.) (1991). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 Mai 1991. Society of Mathematics Sciences.score: 58.0
  12. Miklos Redei (1999). 'Unsolved Problems of Mathematics' J von Neumann's Address to the International Congress of Mathematicians, Amsterdam, September 2-9, 1954. The Mathematical Intelligencer 21:7-12.score: 42.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. A. P. Ershov & Donald Ervin Knuth (eds.) (1981). Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek Ssr, September 16-22, 1979. Springer-Verlag.score: 42.0
  14. A. Heyting (ed.) (1959). Constructivity in Mathematics. Amsterdam, North-Holland Pub. Co..score: 42.0
    No categories
     
    My bibliography  
     
    Export citation  
  15. Alison Pease & Brendan Larvor (eds.) (2012). Proceedings of the Symposium on Mathematical Practice and Cognition Ii: A Symposium at the Aisb/Iacap World Congress 2012. Society for the Study of Artificial Intelligence and the Simulation of Behaviour.score: 40.0
    No categories
     
    My bibliography  
     
    Export citation  
  16. Stevo Todorcevic (2000). Baumgartner James E.. Bases for Aronszajn Trees. Tsukuba Journal of Mathematics, Vol. 9 (1985), Pp. 31–40. Baumgartner James E.. Polarized Partition Relations and Almost-Disjoint Functions. Logic, Methodology and Philosophy of Science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, Edited by Fenstad Jens Erik, Frolov Ivan T., and Hilpinen Risto, Studies in Logic and the Foundations of Mathematics, Vol. 126, North-Holland, Amsterdam ... [REVIEW] Bulletin of Symbolic Logic 6 (4):497-498.score: 40.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Patrick Suppes (ed.) (1973). Logic, Methodology and Philosophy of Science. New York,American Elsevier Pub. Co..score: 34.0
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) (1994). Logic, Methodology, and Philosophy of Science Ix: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991. [REVIEW] Elsevier.score: 32.0
    This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) (1995). Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Centro de Lógica, Epistemologia e História da Ciência, Unicamp.score: 32.0
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Yehoshua Bar-Hillel (ed.) (1970). Mathematical Logic and Foundations of Set Theory. Amsterdam,North-Holland Pub. Co..score: 30.0
    LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Ruth Barcan Marcus, Georg Dorn & Paul Weingartner (eds.) (1986). Logic, Methodology, and Philosophy of Science, Vii: Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 30.0
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costdaa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.score: 30.0
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. L. Jonathan Cohen (ed.) (1982). Logic, Methodology, and Philosophy of Science Vi: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.score: 30.0
  24. John N. Crossley (ed.) (1975). Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia. Springer-Verlag.score: 30.0
     
    My bibliography  
     
    Export citation  
  25. Wilfrid Hodges (ed.) (1972). Conference in Mathematical Logic, London '70. New York,Springer-Verlag.score: 30.0
     
    My bibliography  
     
    Export citation  
  26. A. R. D. Mathias & H. Rogers (eds.) (1973). Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag.score: 30.0
     
    My bibliography  
     
    Export citation  
  27. Th Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin & J. Łoś (eds.) (1971). Mathematical Interpretation of Formal Systems. North-Holland Pub. Co..score: 30.0
     
    My bibliography  
     
    Export citation  
  28. William Bragg Ewald (ed.) (1996). From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford University Press.score: 27.0
    This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here (...)
     
    My bibliography  
     
    Export citation  
  29. Milan Tasic (2008). On What Should Be Before All in the Philosophy of Mathematics. Proceedings of the Xxii World Congress of Philosophy 41:41-46.score: 26.0
    In the philosophy of mathematics, as in its a meta-domain, we find that the words as: consequentialism, implicativity, operationalism, creativism, fertility, … grasp at most of mathematical essence and that the questions of truthfulness, of common sense, or of possible models for (otherwise abstract) mathematical creations,i.e. of ontological status of mathematical entities etc. - of second order. Truthfulness of (necessary) succession of consequences from causes in the science of nature is violated yet with Hume, so that some traditional footings (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Ayda I. Arruda, Newton C. A. Costdaa & R. Chuaqui (eds.) (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW] Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.score: 26.0
  31. Eva Neu, Michael Ch Michailov & Ursula Welscher (2008). Anthropology and Philosophy in Agenda 21 of UNO. Proceedings of the Xxii World Congress of Philosophy 37:195-202.score: 26.0
    Agenda 21 of United Nations demands better situation of ecology, economy, health, etc. in all countries. An evaluation of scientific contributions in international congresses of fundamental anthropological sciences (philosophy, psychology, psychosomatics, physiology, genito-urology, radio-oncology, etc.) demonstratesevidence of large discrepancies in the participation not only of developing and industrial countries, but also between the last ones themselves. Low degree of research and education leads to low degree of economy, health, ecology, etc. [Lit.: Neu, Michailov et al.: Physiology in Agenda 21. (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. Simon B. Duffy (ed.) (2006). Virtual Mathematics: The Logic of Difference. Clinamen.score: 25.0
    Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the wide range (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Sam Sanders & Keita Yokoyama (2012). The Dirac Delta Function in Two Settings of Reverse Mathematics. Archive for Mathematical Logic 51 (1-2):99-121.score: 25.0
    The program of Reverse Mathematics (Simpson 2009) has provided us with the insight that most theorems of ordinary mathematics are either equivalent to one of a select few logical principles, or provable in a weak base theory. In this paper, we study the properties of the Dirac delta function (Dirac 1927; Schwartz 1951) in two settings of Reverse Mathematics. In particular, we consider the Dirac Delta Theorem, which formalizes the well-known property ${\int_\mathbb{R}f(x)\delta(x)\,dx=f(0)}$ of the Dirac delta function. (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Jeffry L. Hirst (2006). Reverse Mathematics of Separably Closed Sets. Archive for Mathematical Logic 45 (1):1-2.score: 25.0
    This paper contains a corrected proof that the statement “every non-empty closed subset of a compact complete separable metric space is separably closed” implies the arithmetical comprehension axiom of reverse mathematics.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. Jeffry L. Hirst (1999). Reverse Mathematics of Prime Factorization of Ordinals. Archive for Mathematical Logic 38 (3):195-201.score: 25.0
    One of the earliest applications of Cantor's Normal Form Theorem is Jacobstahl's proof of the existence of prime factorizations of ordinals. Applying the techniques of reverse mathematics, we show that the full strength of the Normal Form Theorem is used in this proof.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Justin Clarke-Doane (2012). Morality and Mathematics: The Evolutionary Challenge. Ethics 122 (2):313-340.score: 24.0
    It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Ian Hacking (2011). Why is There Philosophy of Mathematics AT ALL? South African Journal of Philosophy 30 (1):1-15.score: 24.0
    Mathematics plays an inordinate role in the work of many of famous Western philosophers, from the time of Plato, through Husserl and Wittgenstein, and even to the present. Why? This paper points to the experience of learning or making mathematics, with an emphasis on proof. It distinguishes two sources of the perennial impact of mathematics on philosophy. They are classified as Ancient and Enlightenment. Plato is emblematic of the former, and Kant of the latter. The Ancient fascination (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Frank Plumpton Ramsey (1960). The Foundations of Mathematics and Other Logical Essays. Paterson, N.J.,Littlefield, Adams.score: 24.0
    THE FOUNDATIONS OF MATHEMATICS () PREFACE The object of this paper is to give a satisfactory account of the Foundations of Mathematics in accordance with ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Stewart Shapiro (2011). Epistemology of Mathematics: What Are the Questions? What Count as Answers? Philosophical Quarterly 61 (242):130-150.score: 24.0
    A paper in this journal by Fraser MacBride, ‘Can Ante Rem Structuralism Solve the Access Problem?’, raises important issues concerning the epistemological goals and burdens of contemporary philosophy of mathematics, and perhaps philosophy of science and other disciplines as well. I use a response to MacBride's paper as a framework for developing a broadly holistic framework for these issues, and I attempt to steer a middle course between reductive foundationalism and extreme naturalistic quietism. For this purpose the notion of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  40. Antony Eagle (2008). Mathematics and Conceptual Analysis. Synthese 161 (1):67–88.score: 24.0
    Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  41. John P. Burgess & Gideon A. Rosen (1997). A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Oxford University Press.score: 24.0
    Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.score: 24.0
    Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Paola Cantù, Bolzano Versus Kant: Mathematics as a Scientia Universalis. Philosophical Papers Dedicated to Kevin Mulligan.score: 24.0
    The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Mikhail G. Katz & Thomas Mormann, Infinitesimals and Other Idealizing Completions in Neo-Kantian Philosophy of Mathematics.score: 24.0
    We seek to elucidate the philosophical context in which the so-called revolution of rigor in inifinitesimal calculus and mathematical analysis took place. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind, and Weierstrass. The dominant current of philosophy in Germany at that time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our main thesis is that Marburg Neo-Kantian philosophy formulated a sophisticated (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  45. Paul Benacerraf & Hilary Putnam (eds.) (1983). Philosophy of Mathematics: Selected Readings. Cambridge University Press.score: 24.0
    The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Mark Colyvan, Indispensability Arguments in the Philosophy of Mathematics. Stanford Encyclopedia of Philosophy.score: 24.0
    One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.score: 24.0
    Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this book is divided into three parts. Part I, Reason, Science, and Mathematics contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay oN phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Carlo Cellucci (1996). Mathematical Logic: What has It Done for the Philosophy of Mathematics? In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, pp. 365-388. A K Peters.score: 24.0
    onl y to discuss some claims concerning the relationship between mathematical logic and the philosophy of mathematics that repeatedly occur in his writings. Although I do not know to what extent they are representative of his present position, they correspond to widespread views of the logical community and so seem worth discussing anyhow. Such claims will be used as reference to make some remarks about the present state of relations between mathematical logic and the philosophy of mathematics.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Paola Cantù (2010). Aristotle's Prohibition Rule on Kind-Crossing and the Definition of Mathematics as a Science of Quantities. Synthese 174 (2):225 - 235.score: 24.0
    The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  50. Nicholas Maxwell (2010). Wisdom Mathematics. Friends of Wisdom Newsletter (6):1-6.score: 24.0
    For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000