Principia Informatica

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/

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/

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/

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/

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/

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/

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/

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/

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/