Lochica matematica

Iste articlo ye en proceso de cambio enta la ortografía oficial de Biquipedia (la Ortografía de l'aragonés de l'Academia Aragonesa d'a Luenga). Puez aduyar a completar este proceso revisando l'articlo, fendo-ie los cambios ortograficos necesarios y sacando dimpués ista plantilla.

A Lochica matematica ye una parte d'a Lochica y d'as Matematicas, que consiste en o estudio matematico d'a Lochica y en l'aplicación d'este estudio a atras arias d'as Matematicas. A Lochica matematica tiene estreitas connexions con as Ciencias d'a computación y con a Lochica filosofica.

A Lochica matematica estudia os sistemas formals en relación con o modo en que codifican nocions intuitivas d'obchectos matematicos como conchuntos, numeros, demostracions y computación.

A lochica matematica gosa dividir-se en cuatro subcampos: teoría de modelos, teoría d'a demostración, teoría de conchuntos y teoría d'a recursión. A investigación en lochica matematica ha chugau un papel fundamental en o estudio d'os fundamentos d'as matematicas. Actualment s'usan indiferentment como sinonimos as expresions: lochica simbolica (u lochistica), lochica matematica y lochica formal.

A Lochica matematica no ye a «lochica d'as matematicas» sino a «matematica d'a lochica». Incluye aquellas partes d'a lochica que pueden estar modeladas y estudiadas matematicament.