Ce podcast présente une série sur l'histoire de l'informatique. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading
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/Par Thomas Petrachi
…
continue reading