Login / Signup
FotFS
2001
2004
2008
2011
2001
2011
Keyphrases
Publications
volume 32, 2011
Bringing together Philosophy and Sociology of Science, Papers of the conference "Foundations of the Formal Sciences VII", Brussels, Belgium, October 21-24, 2008.
FotFS
32 (2011)
2008
Albrecht Heeffer
On the curious historical coincidence of algebra and double-entry bookkeeping.
FotFS
(2008)
Paul Ziche
Alternative claims to the discovery of modern logic: coincidences and diversification.
FotFS
(2008)
Brendan Larvor
,
Albert Lautman
Dialectics in mathematics.
FotFS
(2008)
Christian Greiffenhagen
,
Wes Sharrock
Sources for myths about mathematics. On the significance of the difference between finished mathematics and mathematics-in-the-making.
FotFS
(2008)
Renate Tobies
Career paths in mathematics: a comparison between women and men.
FotFS
(2008)
Liesbeth De Mol
Looking for busy beavers. A socio-philosophical study of a computer-assisted proof.
FotFS
(2008)
volume 23, 2004
Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001.
FotFS
23 (2004)
2001
Andris Ambainis
Quantum query algorithms and lower bounds.
FotFS
(2001)
Benedikt Löwe
Complexity hierarchies derived from reduction functions.
FotFS
(2001)
Philip D. Welch
Post's and other problems of supertasks of higher type.
FotFS
(2001)
Elvira Mayordomo Cámara
Effective Hausdorff dimension.
FotFS
(2001)
Jörg Brendle
Recent developments in iterated forcing theory.
FotFS
(2001)
Riccardo Camerlo
Classification problems in algebra and topology.
FotFS
(2001)
Stefan Geschke
,
Sandra Quickert
On Sacks forcing and the Sacks property.
FotFS
(2001)
Peter Koepke
,
Marc van Eijmeren
A refinement of Jensen's constructible hierarchy.
FotFS
(2001)
Ralf Schindler
Forcing axioms and projective sets of reals.
FotFS
(2001)
Lars Engebretsen
Using easy optimization problems to solve hard ones.
FotFS
(2001)
Joel David Hamkins
Supertask computation.
FotFS
(2001)
Szabolcs Mikulás
Axiomatizability of algebras of binary relations.
FotFS
(2001)
Markus Bläser
Algebras of minimal rank: overview and recent developments.
FotFS
(2001)