Hilbert's program and the status of ideal elements
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Formal content and meaning in mathematics
Georg Schiemer (Speaker) & Eduardo Nicolas Giovannini (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Hilbert's program and the status of ideal elements
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
On two types of instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Logical and structural properties (with Johannes Korbmacher)
Georg Schiemer (Speaker) & Johannes Korbmacher (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental formalism: From Hilbert’s program to Carnap’s Wissenschaftslogik
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Symposium: Formalism: historical and interpretive issues
Georg Schiemer (Speaker), Anna Bellomo (Speaker), Moritz Bodner (Speaker) & Richard Lawrence (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Hilbert’s program and the status of ideal elements in nineteenth-century geometry
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices and implicit definition
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Hilbert's conservativity program and the method of ideal elements
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
What is implicit structure?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Cassirer on the ideality of mathematics
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Hilbert's conservativity program
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental devices
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Formal content and meaning in mathematics
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
What is implicit structure?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Formalism and scientific objectivity
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Instrumental formalism and conservativity
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
What is implicit structure?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Instrumental formalism and conservativity
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Formal content and meaning in mathematics
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert’s Early Metatheory Revisited: Categoricity and Interpretability
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Mathematik als "Formenlehre"
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
What is implicit structure?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's formalist thesis
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Implicit definitions and structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert's early semantics revisited: isomorphism and interpretability
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
What is (implicit) structure?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert's early semantics revisited: isomorphism and interpretability
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Implicit definitions and structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's formalist thesis
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Logical concepts and structural properties
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Instrumental formalism and conservativity
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
The roots of structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Scientific objectivity and the formalist turn
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Structuralism and mathematical representation
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's formalist thesis, Lecture
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert's Early Metatheory Revisited
Georg Schiemer (Speaker) & Eduardo Nicolás Giovannini (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Symmetries and implicit structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Two ways to think about implicit structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert's Early Views on Completeness and Categoricity (online meeting)
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert on Completeness, Categoricity, and Maximal Models (online meeting)
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Hilbert's Early Views on Completeness and Categoricity (online meeting)
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's structuralist thesis
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Klein's geometrical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Structural and logical properties (postponed to 2021)
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Logicism in Logical Empiricism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Structuralism as a mathematical style: Klein, Hilbert, and 19th-Century Geometry
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Semantics in type theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Padoa, Carnap, and Tarski on deductive theories
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Structuralism and informal provability
Georg Schiemer (Speaker) & John Wigglesworth (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
How geometry became structural
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Structuralism and `Ordnungsgefüge'
Georg Schiemer (Speaker) & Francesca Biagioli (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Implicit structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
What are implicit definitions?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Mathematical structuralism and implicit structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Husserl and Carnap on completeness
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles and Klein's structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Implicit definitions and the development of modern axiomatics
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles and Klein's group-theoretic structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Two ways to think about (implicit) structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's Der Raum and the notion of `Ordnungsgefüge'
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
On the History of Metatheory in Modern Type Theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Metatheory in Type Theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public
Two ways to think about mathematical structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Two ways to think about mathematical structure
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer Principles and Structural Equivalence
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Putnam on conditional logicism and modalism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Implicit definitions and the development of modern mathematics
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Klein's program and structural equivalence
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Logical concepts and structural properties
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's structuralist thesis
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
The structuralist thesis reconsidered
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
The structuralist thesis reconsidered
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Geometrical roots of model theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles and structural equivalence
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Cassirer, Klein, and geometrical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Felix Klein's invariant-theoretic structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
`Wissenschaftslogik' in the International Encyclopedia of Unified Science
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles and structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Cassirer, Klein, and geometrical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles and mathematical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Transfer principles and Klein's geometrical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap on logicism and the application of mathematics
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Duality and transfer principles: The rise of model-theoretic methods in projective geometry
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Theoretical terms and structural content
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
What is theoretical truth?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Klein’s invariant-theoretic structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Geometrical roots of model theory: duality and relative consistency
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
The geometrical roots of model theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Hilbert’s epsilon terms, Russell’s indefinites, and indexed epsilon terms
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Husserl and Carnap on Completeness
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
What is theoretical truth
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
"Two approaches to theoretical truth"
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
The structuralist thesis
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap on logicism and structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap's Early Metatheory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Structuralism and structural properties
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
What are structural properties?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap on invariants and model structures
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Workshop "The Prehistory of Mathematical Structuralism"
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
What are structural properties?
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap’s Gabelbarkeitssatz reconsidered
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Husserl and Carnap on Completeness
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Zwei Metatheoreme von Carnap
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Strukturelle Eigenschaften
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
The epsilon-reconstruction of theories and scientific structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Weyl on Brouwer - Reply to Toader
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Invariants and mathematical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Semantics in type theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
The epsilon-reconstruction of theories and scientific structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap’s mathematical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Invariants and mathematical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap’s mathematical structuralism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Semantics in type theory
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Science
Carnap, Tarski und frühe Modelltheorie
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap’s Explizitbegriffe: axiomatics, structuralism, logicism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Hintikka and Hilbert on quantification
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap’s Explizitbegriffe: axiomatics, structuralism, logicism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap's Reception of Fraenkel's Axiom of Restriction
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap’s reception of Fraenkel’s axiom of restriction
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Carnap’s Explizitbegriffe: axiomatics, structuralism, logicism
Georg Schiemer (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Department of Philosophy
Universitätsstraße 7 (NIG)
1010 Wien
Room: C0216
T: +43-1-4277-46482