Teoria probei

Teoria dovezilor este ramura logicii matematice care consideră la rândul ei dovezile ca obiecte matematice, facilitând analiza lor cu tehnici matematice. Dovezile sunt de obicei prezentate ca structuri de date definite inductiv (de exemplu, liste sau arbori ), construite conform axiomelor și regulilor de inferență ale sistemului logic.

Teoria dovezilor nu numai că joacă un rol primordial în teoria limbajului de programare , dar este și unul dintre așa-numiții patru stâlpi ai fundamentelor matematicii , alături de teoria modelelor , teoria axiomatică a mulțimilor și teoria calculabilității .

Elemente conexe

• Teoria modelului
• Teoria axiomatică a mulțimilor
• Teoria calculabilității

Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică