Principia Informatica Podcast
1) #9 - Howard Aiken
Il parait que c'est avec Howard Aiken que l'ère de l'informatique a débuté, c'est ce que nous allons voir ! Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
2) #8 - Charles Babbage
L'homme qui a inventé l'ordinateur avant l'ère de l'électronique : Charles Babbage ! Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
3) #7 - Joseph Marie Jacquard
On retrace la vie de Joseph-Marie Jacquard et de son fameux métier à tisser révolutionnaire ! Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
4) #6 - Alan Turing
On discute de l'article de 1936 d'Alan Turing, et de ses conséquences dans le monde scientifique. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
5) #5 - Alonzo Church
On discute des suites au programme formaliste d'Hilbert, et principalement de la question de la décidabilité. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
6) #4 - Kurt Gödel
On discute des théorèmes d'incomplétudes de Kurt Gödel, et de leurs conséquences pour le programme formaliste d'Hilbert. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
7) #3 - Russell & Whitehead
On discute de la quête du fondement en mathématiques, et des différentes initiatives qui tentent de répondre à ce problème. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
8) #2 - Georg Cantor
On discute de la théorie des ensembles développée par Georg Cantor, et des paradoxes de la théorie. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
9) #1 - David Hilbert
On discute du début de la carriére du mathématicien Allemand David Hilbert. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/