Find link

language:

Find link is a tool written by Edward Betts.

searching for the Intuitionist 28 found (41 total)

Intuitionism (2,790 words) [view diff] case mismatch in snippet view article find links to article

notion of truth is more restrictive than that of classical mathematics, the intuitionist must reject some assumptions of classical logic to ensure that everything

Actual infinity (2,637 words) [view diff] no match in snippet view article find links to article

In the philosophy of mathematics, the abstraction of actual infinity, also called completed infinity, involves infinite entities as given, actual and completed

David W. Henderson (483 words) [view diff] case mismatch in snippet view article find links to article

teachers. His papers in the philosophy of mathematics place him with the intuitionist school of philosophy of mathematics. His practical geometry, which

Ludwig Wittgenstein's philosophy of mathematics (502 words) [view diff] case mismatch in snippet view article find links to article

mathematics was rekindled when he attended in Vienna a lecture by the intuitionist L. E. J. Brouwer. After 1929, his primary mathematical preoccupation

Romanticism in philosophy (2,607 words) [view diff] case mismatch in snippet view article find links to article

Wilhelm Dilthey, founder (along with Nietzsche, Simmel and Klages) of the intuitionist and irrationalist school of Lebensphilosophie in Germany, is credited

Second Conference on the Epistemology of the Exact Sciences (378 words) [view diff] case mismatch in snippet view article find links to article

Bertrand Russell Arend Heyting (Enschede), presented the thought of the intuitionist school as developed by L. E. J. Brouwer John von Neumann (Berlin),

Ricardo Maliandi (789 words) [view diff] case mismatch in snippet view article find links to article

Apel. They both offer a new aprioristic foundation, but different of the intuitionist. Maliandi introduces, as a programmatic propose, an approaching between

Constructivism (philosophy of mathematics) (2,575 words) [view diff] case mismatch in snippet view article

refer to infinite collections. In fact, L. E. J. Brouwer, founder of the intuitionist school, viewed the law of the excluded middle as abstracted from finite

Certainty (1,370 words) [view diff] case mismatch in snippet view article find links to article

sound by metamathematical finitistic means. The main opponent was the intuitionist school, led by L.E.J. Brouwer, which resolutely discarded formalism

Supertask (2,386 words) [view diff] case mismatch in snippet view article find links to article

thesis. Some have argued this poses a problem for intuitionism, since the intuitionist must distinguish between things that cannot in fact be proven (because

L. E. J. Brouwer (2,157 words) [view diff] case mismatch in snippet view article find links to article

particular the Fixed Point Theorem. Hilbert—the formalist with whom the intuitionist Brouwer would ultimately spend years in conflict—admired the young

Margaret Ann Withers (709 words) [view diff] exact match in snippet view article find links to article

Betti-Sue Hertz, Marin Museum of Contemporary Art, Novato, CA 2014 The Intuitionist curated by Lisa Sigal at The Drawing Center, NY, NY 2012 Remembering

Pre-intuitionism (861 words) [view diff] exact match in snippet view article find links to article

– an article on the many varieties of knowledge as they relate to the Intuitionist and Logicist. Brouwer's Cambridge Lectures on Intuitionism – wherein

Evaluation (4,502 words) [view diff] case mismatch in snippet view article find links to article

methods and data. The subjectivist epistemology is associated with the intuitionist/pluralist ethic and is used to acquire new knowledge based on existing

Colab (3,042 words) [view diff] exact match in snippet view article find links to article

2023-04-09. Retrieved 2021-03-08. Kimmelman, Michael (2006-11-05). "The Intuitionist (Published 2006)". The New York Times. ISSN 0362-4331. Archived from

Criticism of nonstandard analysis (3,520 words) [view diff] case mismatch in snippet view article find links to article

Bishop (1977) who insisted on explicit construction of concepts in the intuitionist tradition. Bishop's review supplied several quotations from Keisler's

G. E. Moore (3,642 words) [view diff] exact match in snippet view article find links to article

the common doctrine, which has generally been called by that name. The Intuitionist proper is distinguished by maintaining that propositions of my second

David Hilbert (7,101 words) [view diff] case mismatch in snippet view article find links to article

Brouwer, which aroused in Hilbert the memory of Kronecker". Brouwer the intuitionist in particular opposed the use of the Law of Excluded Middle over infinite

German philosophy (6,768 words) [view diff] case mismatch in snippet view article find links to article

Wilhelm Dilthey, founder (along with Nietzsche, Simmel, and Klages) of the intuitionist and irrationalist school of Lebensphilosophie in Germany, is credited

Where Mathematics Comes From (2,813 words) [view diff] case mismatch in snippet view article find links to article

on the Romance of (Platonic) Mathematics. Brouwer, the founder of the intuitionist/constructivist point of view, in his dissertation On the Foundation

Law of excluded middle (5,624 words) [view diff] case mismatch in snippet view article find links to article

Heijenoort, p. 335). Propositions ✸2.12 and ✸2.14, "double negation": The intuitionist writings of L. E. J. Brouwer refer to what he calls "the principle

Foundations of mathematics (6,865 words) [view diff] case mismatch in snippet view article find links to article

foundations of mathematics in van Heijenoort 1967:484. Although Weyl the intuitionist believed that "Hilbert's view" would ultimately prevail, this would

Heyting arithmetic (6,263 words) [view diff] case mismatch in snippet view article find links to article

{CT} _{0}}} also negates D N S {\displaystyle {\mathrm {DNS} }} . The intuitionist school of L. E. J. Brouwer extends Heyting arithmetic by a collection

Brouwer–Hilbert controversy (4,440 words) [view diff] case mismatch in snippet view article find links to article

shows logical laws, such as double negation, which are disallowed in the intuitionist system). Dawson 1997:48 Kleene (1952), pp. 46–59 Davis, p. 96 van Dalen

Rationality (15,402 words) [view diff] case mismatch in snippet view article find links to article

either moral or non-moral, is the goal of rationality. According to the intuitionist perspective, something is rational "if and only if [it] conforms to

Debra Drexler (1,444 words) [view diff] exact match in snippet view article find links to article

Cultural Center, Hawaii (solo, 2003). Drexler's work was selected for “The Intuitionist” at The Drawing Center (2014) which also featured the work of Kara

Henryk Minc (1,429 words) [view diff] case mismatch in snippet view article find links to article

career, Henryk Minc was interested in non-associative algebras and the intuitionist foundation of mathematics. He was one of the important mathematicians

John Penn Mayberry (4,580 words) [view diff] exact match in snippet view article find links to article

special foundational status to lose credit among most mathematicians. The Intuitionist movement, while sharing with Mayberry a rejection of a Platonist understanding