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

1000+ found
Sort by:
  1. Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) (1992). The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. W. De Gruyter.score: 84.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  
  2. Matthias Schirn (ed.) (1998). The Philosophy of Mathematics Today. Clarendon Press.score: 84.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  
  3. Imre Lakatos (ed.) (1967). Problems in the Philosophy of Mathematics. Amsterdam, North-Holland Pub. Co..score: 80.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. 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: 78.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  
  5. 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: 78.0
  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: 66.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: 46.0
  12. 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  
  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: 30.0
  14. A. Heyting (ed.) (1959). Constructivity in Mathematics. Amsterdam, North-Holland Pub. Co..score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  15. 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: 28.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  
  16. 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: 28.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  
  17. Yehoshua Bar-Hillel (ed.) (1970). Mathematical Logic and Foundations of Set Theory. Amsterdam,North-Holland Pub. Co..score: 26.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  
  18. 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: 26.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. 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: 26.0
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. 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: 26.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  
  21. 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  
  22. 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: 26.0
  23. 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: 26.0
     
    My bibliography  
     
    Export citation  
  24. Wilfrid Hodges (ed.) (1972). Conference in Mathematical Logic, London '70. New York,Springer-Verlag.score: 26.0
     
    My bibliography  
     
    Export citation  
  25. A. R. D. Mathias & H. Rogers (eds.) (1973). Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag.score: 26.0
     
    My bibliography  
     
    Export citation  
  26. 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: 26.0
     
    My bibliography  
     
    Export citation  
  27. Solomon Feferman, For Jan Wolenski, on the Occasion of His 60th Birthday.score: 24.0
    In the summer of 1957 at Cornell University the first of a cavalcade of large-scale meetings partially or completely devoted to logic took place--the five-week long Summer Institute for Symbolic Logic. That meeting turned out to be a watershed event in the development of logic: it was unique in bringing together for such an extended period researchers at every level in all parts of the subject, and the synergetic connections established there would thenceforth change the face of mathematical logic both (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  28. 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: 24.0
    No categories
     
    My bibliography  
     
    Export citation  
  29. 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: 24.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. S. B. Cooper & J. K. Truss (eds.) (1999). Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.score: 22.0
    Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. 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: 22.0
  32. William Bragg Ewald (ed.) (1996). From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford University Press.score: 21.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  
  33. A. Fuhrmann & Hans Rott (eds.) (1996). Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence. W. De Gruyter.score: 20.0
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) (1995). Advances in Linear Logic. Cambridge University Press.score: 20.0
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Hugues Leblanc (ed.) (1973). Truth, Syntax and Modality. Amsterdam,North-Holland.score: 20.0
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Jens Erik Fenstad (ed.) (1971). Proceedings of the Second Scandinavian Logic Symposium. Amsterdam,North-Holland Pub. Co..score: 20.0
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. J. W. Addison (ed.) (1965). The Theory of Models. Amsterdam, North-Holland Pub. Co..score: 20.0
     
    My bibliography  
     
    Export citation  
  38. Yehoshua Bar-Hillel (ed.) (1965). Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co..score: 20.0
     
    My bibliography  
     
    Export citation  
  39. C.-T. Chong & M. J. Wicks (eds.) (1983). Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 20.0
     
    My bibliography  
     
    Export citation  
  40. Jakob Hoepelman (ed.) (1988). Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.score: 20.0
     
    My bibliography  
     
    Export citation  
  41. Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) (1979). Proceedings From 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979. Distruberet Af Aalborg Universitetsforlag.score: 20.0
     
    My bibliography  
     
    Export citation  
  42. M. Lerman, J. H. Schmerl & R. I. Soare (eds.) (1981). Logic Year 1979-80, the University of Connecticut, Usa. Springer-Verlag.score: 20.0
     
    My bibliography  
     
    Export citation  
  43. George Metakides (ed.) (1982). Patras Logic Symposion: Proceedings of the Logic Symposion Held at Patras, Greece, August 18-22, 1980. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 20.0
     
    My bibliography  
     
    Export citation  
  44. G. H. Müller, Arnold Oberschelp & Karl Potthoff (eds.) (1975). Isilc Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974. Springer-Verlag.score: 20.0
     
    My bibliography  
     
    Export citation  
  45. G. H. Müller, Gaisi Takeuti & T. Tugué (eds.) (1981). Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. [REVIEW] Springer-Verlag.score: 20.0
     
    My bibliography  
     
    Export citation  
  46. Matthias Schirn (ed.) (1996). Frege: Importance and Legacy. Walter De Gruyter.score: 20.0
  47. Simon B. Duffy (ed.) (2006). Virtual Mathematics: The Logic of Difference. Clinamen.score: 19.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  
  48. Jeffry L. Hirst (2006). Reverse Mathematics of Separably Closed Sets. Archive for Mathematical Logic 45 (1):1-2.score: 19.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  
  49. 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: 19.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  
  50. Jeffry L. Hirst (1999). Reverse Mathematics of Prime Factorization of Ordinals. Archive for Mathematical Logic 38 (3):195-201.score: 19.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  
1 — 50 / 1000