Search results for 'Frederick E. Brouwer' (try it on Scholar)

62 found
Sort by:
  1. L. E. J. Brouwer (1947). Address Delivered on September 16th, 1946, at the University of Amsterdam by Professor L. E. J. Brouwer on the Conferment Upon Professor G. Mannoury of the Honorary Degree of Doctor of Science. [REVIEW] Synthese 6 (3/4):190 - 194.score: 1440.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. 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: 1440.0
    No categories
     
    My bibliography  
     
    Export citation  
  3. Frederick E. Brouwer (1969). A Difficulty with 'Ought Implies Can'. Southern Journal of Philosophy 7 (1):45-50.score: 870.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. L. E. J. Brouwer (1981). Brouwer's Cambridge Lectures on Intuitionism. Cambridge University Press.score: 540.0
  5. Brian E. Martin & Wytze Brouwer (1991). The Sharing of Personal Science and the Narrative Element in Science Education. Science Education 75 (6):707-722.score: 280.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. L. E. J. Brouwer, Fred Eeden, J. Ginneken & S. J. G. Mannoury (1937). Signifiese Dialogen. Synthese 2 (1):316 - 324.score: 240.0
    No categories
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  7. L. E. J. Brouwer (1946). Synopsis of the Signific Movement in the Netherlands. Synthese 5 (5-6):201-208.score: 240.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Arnon Avron, Oskar Becker, Johan van Benthem, Andreas Blass, Robert Brandom, L. E. J. Brouwer, Donald Davidson, Michael Dummett, Walter Felscher & Kit Fine (2009). Jagadeesan, Radha, 306 Japaridze, Giorgi, Xi. In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. 377.score: 240.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. L. E. J. Brouwer, Fred Van Eeden, J. Van Ginneken & G. Mannoury (1937). Signifiese Dialogen. Synthese 2 (8):316 - 324.score: 240.0
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. L. E. J. Brouwer, Fred van Eeden, J. Van Ginneken & S. J. G. Mannoury (1937). Signifiese Dialogen. Synthese 2 (1):316-324.score: 240.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Jean Paul Van Bendegem (2003). Dirk Van Dalen, Mystic, Geometer, and Intuitionist. The Life of L.E.J. Brouwer, Volume 1: The Dawning Revolution. Studia Logica 74 (3):469-471.score: 120.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Leon Horsten (2005). Dennis E. Hesseling. Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s. Basel, Boston, Berlin: Birkhäu-Ser Verlag, 2003. Pp. XXIII + 448. ISBN 3-7643-6536-. [REVIEW] Philosophia Mathematica 13 (1):111-113.score: 120.0
  13. Richard Tieszen (2000). Review of D. Van Dalen, Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume 1: The Dawning Revolution. [REVIEW] Philosophia Mathematica 8 (2):217-220.score: 120.0
  14. D. A. Gillies (1980). Brouwer's Philosophy of Mathematics: Review of L. E. J. Brouwer (A. Heyting and H. Freudenthal Eds.), Collected Works. [REVIEW] Erkenntnis 15 (1):105 - 126.score: 120.0
  15. G. Mannoury (1947). Commemoration: Of the Graduation Day of Prof. Dr. L. E. J. Brouwer, February 19, 1907. Synthese 5 (11/12):516 - 518.score: 120.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. R. Tieszen (2007). Dirk Van Dalen. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume 2: Hope and Disillusion. Oxford: Clarendon Press, 2005. Pp. X + 441–946. ISBN 0-19-851620-7 (Hardcover). [REVIEW] Philosophia Mathematica 15 (1):111-116.score: 120.0
  17. Alfons Borgers (1949). Review: L. E. J. Brouwer, The Non-Equivalence of the Constructive and the Negative Order Relation in the Continuum. [REVIEW] Journal of Symbolic Logic 14 (3):195-196.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. R. J. Grayson (1983). Review: L. E. J. Brouwer, D. Van Dalen, Brouwer's Cambridge Lectures on Intuitionism. [REVIEW] Journal of Symbolic Logic 48 (1):214-215.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Leon Henkin (1955). Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion. [REVIEW] Journal of Symbolic Logic 20 (2):185-186.score: 120.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Joan Rand Moschovakis (1969). Review: L. E. J. Brouwer, Points and Spaces. [REVIEW] Journal of Symbolic Logic 34 (3):519-519.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Evert W. Beth (1947). Review: L. E. J. Brouwer, Directives of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 12 (4):136-136.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Alfons Borgers (1949). Review: L. E. J. Brouwer, Remarks on the Law of the Excluded Third and on Negative Propositions. [REVIEW] Journal of Symbolic Logic 14 (2):138-138.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Leon Henkin (1955). Review: A. Chatelet, Allocution d'Ouverture; L. E. J. Brouwer, Discours Final; Abraham Robinson, On Axiomatic Systems Which Possess Finite Models. [REVIEW] Journal of Symbolic Logic 20 (2):186-186.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Leon Henkin (1955). Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale. [REVIEW] Journal of Symbolic Logic 20 (2):186-186.score: 120.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Joop Niekus (2005). Individual Choice Sequences in the Work of L.E.J. Brouwer. Philosophia Scientiae:217-232.score: 120.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Mark van Atten (2004). Hesseling Dennis E.. Gnomes in the Fog. The Reception of Brouwer's Intuitionism in the 1920s. Science Networks. Historical Studies, Vol. 28. Birkhäuser, Boston, 2003, Xxiii+ 447 Pp. [REVIEW] Bulletin of Symbolic Logic 10 (3):423-427.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Jan von Plato (2001). Review: Dirk van Dalen, Mystic, Geometer, and Intuitionist. The Life of L. E. J. Brouwer. Volume 1. The Dawning Revolution. [REVIEW] Bulletin of Symbolic Logic 7 (1):62-65.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Alfons Borgers (1949). Review: L. E. J. Brouwer, Essentially-Negative Properties. [REVIEW] Journal of Symbolic Logic 14 (2):137-138.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Alfons Borgers (1950). Review: L. E. J. Brouwer, Contradictoriness of Elementary Geometry. [REVIEW] Journal of Symbolic Logic 14 (4):262-263.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Alfons Borgers (1954). Review: L. E. J. Brouwer, Historical Background, Principles and Methods of Intuitionism. [REVIEW] Journal of Symbolic Logic 19 (2):125-125.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Norma R. Chatalian (1948). Review: Silvio Minetti, Il Principio Del Terzo Escluso E la Logica Empirista di Brouwer. [REVIEW] Journal of Symbolic Logic 13 (1):56-57.score: 120.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  32. Alonzo Church (1948). Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde. [REVIEW] Journal of Symbolic Logic 13 (3):174-174.score: 120.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Alonzo Church (1949). Review: L. E. J. Brouwer, Consciousness, Philosophy, and Mathematics. [REVIEW] Journal of Symbolic Logic 14 (2):132-133.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Joan Rand Moschovakis (1979). Review: L. E. J. Brouwer, L.E.J. Brouwer, Collected Works. [REVIEW] Journal of Symbolic Logic 44 (2):271-275.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Silvia Pittarello (2000). Sulla problematicita del principio del terzo escluso. Linguisticita e senso concreto del principio nella lettura intuizionista di LEJ Brouwer. Epistemologia 23 (1):119-146.score: 120.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  36. Jean Richard (1970). Weiland, J. Sperma. La Nouvelle Théologie. Préface de E. Schillebeeckx. Traduit du Néerlandais Par Jean Evrard, Bruges, Desclée de Brouwer, 1969, 304 Pages. [REVIEW] Laval Théologique Et Philosophique 26 (1):96.score: 120.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. D. van Dalen (2013). L.E.J. Brouwer: Topologist, Intuitionist, Philosopher: How Mathematics is Rooted in Life. Springer.score: 120.0
     
    My bibliography  
     
    Export citation  
  38. Markus Sebastiaan Paul Rogier van Atten (2007). Brouwer Meets Husserl: On the Phenomenology of Choice Sequences. Springer.score: 54.0
    Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Mark Van Atten, Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar Theorem.score: 54.0
    On the intended interpretation of intuitionistic logic, Heyting's Proof Interpretation, a proof of a proposition of the form p -> q consists in a construction method that transforms any possible proof of p into a proof of q. This involves the notion of the totality of all proofs in an essential way, and this interpretation has therefore been objected to on grounds of impredicativity (e.g. Gödel 1933). In fact this hardly ever leads to problems as in proofs of implications usually (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Mathieu Marion (2009). Jogando o bebê junto com a água do banho: Wittgenstein, Goodstein e o cálculo equacional. Doispontos 6 (1).score: 54.0
    Reuben Louis Goodstein (1912-1985) foi aluno de Wittgenstein em Cambridge de 1931 a 1934. Neste artigo, faço uma breve descrição de seu trabalho na lógica matemática, no qual se percebe a influência das idéias de Wittgenstein, inclusive a substituição, em seu cálculo equacional, da indução matemática por uma regra de unicidade de uma função definida por uma função recursiva. Esse último aspecto se encontra no Big Typescript de Wittgenstein. Também mostro que as idéias fundamentais do cálculo equacional podem ser encontradas (...)
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. E. R. Dodds (1952). A New Edition of Plotinus Plotini Opera. Tomus I: Porphyrii Vita Plotini Et Enneades I–III. Ediderunt Paul Henry Et Hans-Rudolf Schwyzer. Pp. Lviii + 419; 1 Plate. Paris: Desclée de Brouwer, 1951. Cloth, 7£3. [REVIEW] The Classical Review 2 (3-4):165-168.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Thomas Macaulay Ferguson (2014). Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics. In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. 121-127.score: 36.0
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. These (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Richard E. Vesley (1996). Realizing Brouwer's Sequences. Annals of Pure and Applied Logic 81 (1-3):25-74.score: 36.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. L. Fasotti M. E. Van Kessel, A. C. H. Geurts, W. H. Brouwer (2013). Visual Scanning Training for Neglect After Stroke with and Without a Computerized Lane Tracking Dual Task. Frontiers in Human Neuroscience 7.score: 30.0
    Neglect patients typically fail to explore the contralesional half-space. During visual scanning training, these patients learn to consciously pay attention to contralesional target stimuli. It has been suggested that combining scanning training with methods addressing non-spatial attention might enhance training results. In the present study, a dual task training component was added to a visual scanning training (i.e. Training di Scanning Visuospaziale – TSVS; Pizzamiglio et al., 1990). Twenty-nine subacute right hemisphere stroke patients were semi-randomly assigned to an experimental (N=14) (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.score: 24.0
    http://dx.doi.org/10.5007/1808-1711.2009v13n3p339 A fim de medir o grau de dessemelhança entre elementos de uma álgebra booleana, o autor propôs em (1984) usar pseudométricas satisfazendo generalizações dos axiomas usuais para a identidade. A proposta é estendida, na medida em que é exequível, de álgebras booleanas (álgebras de proposições) para álgebras de Brouwer (álgebras de teorias dedutivas). A relação entre geometrias booleanas e de Brouwer da lógica resulta semelhante, de maneira curiosa, à relação entre geometrias euclidianas e não-euclidianas do espaço físico. (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Morten Heine Sørensen (2007). Lectures on the Curry-Howard Isomorphism. Elsevier.score: 24.0
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Volker Peckhaus (1995). Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.score: 24.0
    This paper gives a survey of David Hilbert's (1862–1943) changing attitudes towards logic. The logical theory of the Göttingen mathematician is presented as intimately linked to his studies on the foundation of mathematics. Hilbert developed his logical theory in three stages: (1) in his early axiomatic programme until 1903 Hilbert proposed to use the traditional theory of logical inferences to prove the consistency of his set of axioms for arithmetic. (2) After the publication of the logical and set-theoretical paradoxes by (...)
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  48. Gianpiero Cattaneo & Federico Laudisa (1994). Axiomatic Unsharp Quantum Theory (From Mackey to Ludwig and Piron). Foundations of Physics 24 (5):631-683.score: 24.0
    On the basis of Mackey's axiomatic approach to quantum physics or, equivalently, of a “state-event-probability” (SEVP) structure, using a quite standard “fuzzification” procedure, a set of unsharp events (or “effects”) is constructed and the corresponding “state-effect-probability” (SEFP) structure is introduced. The introduction of some suitable axioms gives rise to a partially ordered structure of quantum Brouwer-Zadeh (BZ) poset; i.e., a poset endowed with two nonusual orthocomplementation mappings, a fuzzy-like orthocomplementation, and an intuitionistic-like orthocomplementation, whose set of sharp elements is (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Miriam Franchella (1995). Like a Bee on a Windowpane: Heyting's Reflections on Solipsism. Synthese 105 (2):207 - 251.score: 24.0
    This paper presents the content of the unpublished notes that the Dutch mathematician Arend Heyting wrote in different periods of his life on solipsism and that are preserved in Heyting's archive at the University of Amsterdam. Most of the notes are quoted here and translated into English. Their study shows the originality of Heyting's reflections on a subject that was typical of his master, L. E. J. Brouwer, the father of intuitionism.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.score: 24.0
    This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We first develop matrix as well as Kripke style semantics for those logics. Then, by extending the Gö;del-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting-Brouwer logic can be embedded into tense logics (with additional modal operators). An extension of the Blok-Esakia-Theorem is proved for (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 62