L'annuaire des sites hébergés
Date de création du site : 17/04/2020
Date de la photo de la miniature : 22/01/2021 à 19:28
Construzione del nucleo minimale di un sistema logico formale che rispecchi l'uso che se ne fa in matematica ed in altre scienze esatte.
Date de création du site : 19/04/2020
Date de la photo de la miniature : 18/01/2021 à 18:28
** MATLOGICA ** Création du noyau centrale d'un système formel de logique pour les mathématiques et les sciences exactes, suivi du développement d'un système de règles élargie en se basant sur le noyau centrale. L'idée est d'obtenir un système proche de l'utilisation qu'on en fait habituellement dans la pratique quotidienne des sciences, et ceci dans le but d'aider la prise de conscience de la structure et des propriétés formelles sous-jacentes au raisonnements mathématiques et logiques habituels. Un pilier fondamental du système sera la méthode de raisonnement par l'absurde, qui sera mis dans le noyau centrale du système, tout comme il est centrale dans le raisonnement mathématique depuis l'antiquité. Puisque il est dans la base du système, la méthode de raisonnement par l'absurde ne sera pas expliqué sur base d'autres principes de raisonnement
Date de création du site : 21/08/2012
Date de la photo de la miniature : 23/01/2021 à 20:55
Notes sur les pratiques techniques