Lògica matemàtica

De Viquipèdia
Dreceres ràpides: navegació, cerca
Per a altres significats vegeu «Lògica (desambiguació)».

La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera amb que aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.

Es pot entendre com la matemàtica de la lògica, ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament.

Anteriorment la lògica matemàtica es coneixia com lògica simbòlica i metamatemàtica que ara són termes restringits a determinats aspectes de la teoria de la prova.

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 de models i la teoria de la demostració i recursió o altrament computabilitat, branca aquesta compatida amb la ciència informàtica. Gran part de la lògica matemàtica moderna s'ocupa de qüestions metalògiques.

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Lògica matemàtica Modifica l'enllaç a Wikidata