Georg Cantor, zakladatel teorie množin (K 100. výročí první Cantorovy práce z teorie množin)
The first time I met George Styan was in July 2004 in Lisbon when he was on his way to the 11th ILAS Conference in Coimbra. But George had already been in Portugal before and I learned how much he was fond of Conventual, a very fine and nice old style restaurant in Lisbon. Then I also learned that George really is an appreciator of good food and a very well-educated wine drinker. With this detail in common it was really easy to become a good friend with George. Since...
Cet article porte sur la discussion par Gödel de la thèse de Turing. Pour l’essentiel, nous présentons des notes inédites conservées dans les Archives Gödel, qui apportent des éléments nouveaux sur la relation ambiguë de Gödel à Turing. La première section examine la position qu’avait Gödel avant 1937 sur la possibilité d’une définition de la calculabilité. La deuxième concerne directement l’interprétation par Gödel de la thèse de Turing. Dans plusieurs passages, antérieurs à 1937, Gödel qualifie...