Listing 1 - 10 of 26 | << page >> |
Sort by
|
Choose an application
kunst --- zeventiende eeuw --- België --- 75.071 BROUWER --- Brouwer Adriaen --- grafiek --- schilderkunst --- biographies [documents] --- Brouwer, Adriaen --- biographies [literary works]
Choose an application
Based on Sperner's lemma the fixed point theorem of Brouwer is proved. Rather than presenting also other beautiful proofs of Brouwer's fixed point theorem, many nice applications are given in some detail. Also Schauder's fixed point theorem is presented which can be viewed as a natural generalization of Brouwer's fixed point theorem to an infinite-dimensional setting. Finally, Tarski's fixed point theorem is applied to differential equations in Banach spaces.
Banachräume --- Brouwer --- SchauderFixed points --- Fixpunkt --- Anwendungen --- Banach spaces --- verification methods
Choose an application
Constructive mathematics --- Intuitionistic mathematics --- Mathématiques constructives --- Mathématiques intuitionnistes --- Congresses --- Congrès --- Brouwer, L. E. J. --- Brouwer, L E J --- -Intuitionistic mathematics --- -Constructive mathematics --- Mathematics --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Congresses. --- -Congresses --- Brouwer, Luitzen Egbertus Jan --- -Mathematics, Constructive --- Physical Sciences & Mathematics --- Mathematical Theory --- Brouwer, Luitzen Egbertus Jan, --- Brouwer, Bertus, --- Constructive mathematics - Congresses --- Intuitionistic mathematics - Congresses --- Brouwer, L E J - (Luitzen Egbertus Jan), - 1881-1966
Choose an application
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.
Intuitionistic mathematics. --- Mathematics --- Philosophy. --- Brouwer, L. E. J. --- Logic of mathematics --- Mathematics, Logic of --- Constructive mathematics --- Brouwer, Luitzen Egbertus Jan, --- History. --- History of Science. --- Annals --- Auxiliary sciences of history --- Brouwer, Bertus,
Choose an application
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? The 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. But other mathematicians and philosophers have been voicing objections to choice sequences from the start. This book aims to provide a sound philosophical basis for Brouwer's choice sequences by subjecting them to a phenomenological critique in the style of the later Husserl. "It is almost as if one could hear the two rebels arguing their case in a European café or on a terrace, and coming to a common understanding, with both men taking their hat off to the other, in admiration and gratitude. Dr. van Atten has convincingly applied Husserl's method to Brouwer's program, and has equally convincingly applied Brouwer's intuition to Husserl's program. Both programs have come out the better." Piet Hut, professor of Interdisciplinary Studies, Institute for Advanced Study, Princeton, U.S.A.
Phenomenology. --- Sequences (Mathematics) --- Intuitionistic mathematics. --- Brouwer, L. E. J. --- Husserl, Edmund, --- Philosophy, Modern --- Constructive mathematics --- Mathematics --- Mathematical sequences --- Numerical sequences --- Algebra --- Husserl, Edmund --- Husserl, Edmond --- Brouwer, Luitzen Egbertus Jan, --- Logic, Symbolic and mathematical. --- Phenomenology . --- Ontology. --- Metaphysics. --- Mathematical Logic and Foundations. --- God --- Ontology --- Philosophy --- Philosophy of mind --- Being --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy) --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical logic. --- Brouwer, Bertus,
Choose an application
Public art --- Signals and signaling in art --- Picture-writing --- Installations (Art) --- Performance art --- Art public --- Signaux et signalisation dans l'art --- Ecriture pictographique --- Art de performance --- Mullican, Matt, --- Hrsg. von Ulrich Wilmes ; Texte von Denys Zacharopoulos, Marianne Brouwer, Matt Mullican --- Mullican Matt --- kunst --- twintigste eeuw --- installaties --- performance --- 7.071 MULLICAN
Choose an application
Architecture domestique --- 728 --- Woningbouw (architectuur) --- Woningen (architectuur) --- Particuliere bouwkunst. Woningbouw --- 728.1 --- 728 Particuliere bouwkunst. Woningbouw --- Woningbouw ; woonhuizen --- Schmitthenner, Paul --- Delftse School --- Siza, Alvaro --- Bedaux De Brouwer Architecten --- Bedaux Architecten --- Plandocumentatie --- Mecanoo --- West 8 / AWG --- Baillie Scott --- DASH ; Delft Architectural Studies on Housing --- Woningbouw ; traditionele woonconfiguraties als uitgangspunt --- Volkswoningbouw --- Tuindorpen --- Ridolfi, Mario --- Spoerry, François --- Architecture --- influence du passé
Choose an application
Internet --- virtual reality --- art [fine art] --- Homo sapiens [species] --- Architecture --- Iconography --- architecture [discipline] --- Art --- Nature --- computer art [visual works] --- eroticism --- Stelarc --- Virillio, Paul --- Decostere, Stefaan --- Knowbotic Research --- anno 1900-1999 --- ed. Joke Brouwer, Carla Hoekendijk --- nieuwe media --- cyberspace --- computers --- technologie --- gender studies --- virtuele realiteit --- cultuurfilosofie --- economie --- politiek --- lichamelijkheid --- kunst en technologie --- technomorfisering --- stedenbouw --- cyborgs --- waarneming --- artificiële intelligentie --- natuurwetenschappen --- cybercultuur --- Decostere Stefaan --- squids --- ecologie --- 791.5 --- 130.2 --- Knowbotiq [Zurich] --- human figures [visual works] --- art [discipline] --- mass media --- kunstsociologie
Choose an application
mural paintings [visual works] --- Vrij Beelden --- periodicals --- Sandberg, Willem --- Haas, de, Aad --- onder red. van Willemijn Stokvis ; samengest. door Isabel Brouwer, Victor Freijser, Frédérique Hauffmann [et al.] --- Sandberg Willem --- realisme --- de Haas Aad --- kunsttijdschriften --- Art, Dutch --- 7.038 --- kunst --- Nederland --- twintigste eeuw --- art [fine art] --- museology --- Art --- anno 1940-1949 --- anno 1950-1959 --- Netherlands --- 7.01 --- 7.038(492) --- Kunst ; theorie, filosofie, esthetica --- Kunstgeschiedenis ; 1950 - 2000 ; Nederland --- Art, Dutch - 20th century - Exhibitions --- art [discipline]
Choose an application
Graham, Dan --- texts Marianne Brouwer, Eric de Bruyn, Thierry de Duve [et al.] --- kunst --- twintigste eeuw --- Verenigde Staten --- Dan Graham (° 1942, Urbana, Illinois, VS) --- Graham Dan --- Kunst & architectuur ; glas ; paviljoenen --- performance --- Conceptuele kunst --- film --- videokunst --- Installaties ; performances ; film ; 1965-2000 ; Dan Graham --- Videokunst --- installaties --- 7.071 GRAHAM --- Assemblages --- Intermedia --- Kunst in steden --- Kunst ; in en op openbare plaatsen --- Kunst en woord --- 7.07 --- (069) --- 7.038 --- Kunstenaars met verschillende disciplines, niet traditioneel klasseerbare, conceptuele kunstenaars A - Z --- (Musea. Collecties) --- Kunstgeschiedenis ; 1950 - 2000 --- Graham, Dan 1942-2022 (°Urbana, Illinois, Verenigde Staten)
Listing 1 - 10 of 26 | << page >> |
Sort by
|