Logique , mathématique et temps

[philname]

Est-il possible de "mathématiser" la logique.
Et comment intégrer dans le temps à la logique ?
Intégrer le temps à la logique, c'est comme intégrer un signal d'horloge au système électronique ?

Quelqu'un aurait un exemple simple de départ afin de comprendre ce concept ?

J'ai fais assez de logique booléenne, mais j'aimerai en savoir plus sur la mathématisation de la logique, avec l'intégration du temps...

J'espère que j'ai été clair !


MErci beaucoup !

[Mumyo]

S'il faut rajouter des contraintes de temps à des portes électronique ET, OU, etc....

Tu obtiens un automate programmable. Je crois qu'il existe une littérature abondante sur le sujet.

Sinon Tu peux aller voir du côté des réseaux de Pétri.

Mais je ne sais pas si j'ai bien saisie Ton concept de mathématisation de la logique....

Cordialement,
Mumyo

[philname]

Non ce n'est pas de l'électronique que je veux faire !
L'exemple de l'électronique était juste une image afin d'illustrer mon idée !

[seb88]

Bonjour, par mathématiser tu entends quoi,??

Les tables de vérités, son a mon avis une voix a cette "mathématisation", a moins que ce que tu as voulus dire, est autre chose.

cordialement

[Médiat]

Est-il possible de "mathématiser" la logique.

La logique fait partie des mathématiques (ou des métamathématiques selon le point de vue).

Et comment intégrer dans le temps à la logique ?

Deux réponses très différentes :

1. il existe des logiques modales temporelles
2. dans la correspondance de Curry-Howard, l'horloge de l'ordinateur correspond à l'axiome du choix.

Je pense que ce que tu cherches est plus du domaine des logiques modales (les modèles de Kripke s'y prêtent bien) :
http://www.univ-angers.fr/docs/etudq...orelle_TLA.pdf
http://www-leibniz.imag.fr/perso/s1/...es-modales.doc

et une petite introduction sympa :
http://www-leibniz.imag.fr/perso/s1/...es-modales.doc

Il y a des milliers de références sur le net.