Viquipèdia

Lògica matemàtica: diferència entre les revisions

Exploració interactiva de l'historial
← Edició anteriorEdició següent →
Contingut suprimit Contingut afegit
VisualWikitext
mCap resum de modificació
Línia 8:
Van ser [[George Boole]] i [[Augustus De Morgan]], durant el segle XIX, els que van sistematitzar matemàticament la lògica, per això van haver de reformar i completar la lògica tradicional aristotèlica.
La lògica matemàtica inclou la [[teoria delde modelmodels]] i la [[teoria de la provademostració]] i recursió o altrament ''computabilitat''., Hibranca haaquesta molta relaciócompatida amb la ciència informàtica. Gran part de la lògica matemàtica moderna s'ocupa de [[metalògica|qüestions metalògiques]].
 
{{ORDENA:Logica Matematica}}
Obtingut de «https://ca.wikipedia.org/wiki/Lògica_matemàtica»