Displaying 561 – 580 of 2186

Showing per page

Gödel et la thèse de Turing

Pierre Cassou-Noguès (2008)

Revue d'histoire des mathématiques

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...

Hallova věta, její aplikace a historie

Antonín ASlavík (2018)

Pokroky matematiky, fyziky a astronomie

Hallova věta a její varianty patří k základním pilířům kombinatoriky. V textu představíme některé její klasické i méně známé aplikace. Popíšeme též ranou historii věty a příbuzných tvrzení, která je spojena nejen se jménem Philipa Halla, ale i řady dalších předních matematiků první poloviny 20. století.

Currently displaying 561 – 580 of 2186