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