Matematična logika: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m r2.6.2) (robot Dodajanje: si:ගණිතමය තර්කණය
m +p
Vrstica 1:
'''Matemátična lógika''' je [[matematika|matematična]] [[matematična disciplina|disciplina]], ki preučuje [[formalni sistem|formalne sisteme]] v povezavi z načinom, kako opišejo [[intuitivnost|intuitivna]] koncepta [[matematični dokaz|dokaza]] in [[računanje|računanja]] kot dela [[temelji matematike|temeljev matematike]].
 
Čeprav bi si laik lahko mislil, da je matematična logika ''logika matematike'', je ta v resnici bližje ''matematiki logike''. Sestavljajo jo tisti deli [[logika|logike]], ki jih lahko [[matematični model|matematično modeliramo]]. Nekdaj se je tej disciplini reklo '''simbolna logika''' (za razliko od [[filozofska logika|filozofske logike]]) ali [[metamatematika]] (ta izraz je dandanes omejen na nekatere poglede [[teorija dokaza|teorije dokaza]]), današnje ime pa je ''matematični logiki'' dal [[Giuseppe Peano|Peano]].
Vrstica 6:
 
[[Kategorija:Logika]]
[[Kategorija:Matematična logika|* ]]
 
[[ar:منطق رياضي]]