Lògica matemàtica
De Viquipèdia
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 intuitius 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 del model i la teoria de la prova i recursió o altrament computabilitat. Hi ha molta relació amb la ciència informàtica.
