Saturday, October 28, 2006
Friday, October 27, 2006
Organized by Jacques Dubucs, the Joint Session of the two Divisions of the International Union for History and Philosophy of Science is fothcoming in Paris, November 17-18, at the Ecole Normale Supérieure. The thema of the conference is:
Calculability and Constructivity: Historical and Philosophical Aspects.
[⇒Home⇒Program ⇒Participants ]
par henri galinon à 9:04 PM
Monday, October 23, 2006
Sunday, October 22, 2006
Monday, October 16, 2006
The University of Michigan Historical Mathematics Collection : bibliothèque numérisée ouverte. On y trouve (entre autres !) les Principia Mathematica (B. Russell & A.N. Whitehead).
Sunday, October 15, 2006
Friday, October 13, 2006
Semantic Structure and Ontological Structure
Tropes and their Role in the Semantics of Natural Language
organisé par F. Moltmann, débute mardi prochain (le 17octobre 2006 de 16h à 18h).
par henri galinon à 5:23 PM
Le séminaire Philform reprend son cours, et pour commencer l'année ce lundi 16 octobre 2006, de 14h à 16h, David Makinson (King's College) présentera une conférence intitulée : "Logic and probability: an uneasy partnership" (joint work with James Hawthorne). [abstract ici]
Wednesday, October 04, 2006
Tuesday, October 03, 2006
Un colloque a ne pas manquer!
Conference themes and location: Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way to the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier.
CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.
par paula à 5:27 PM