„Modellelmélet” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
1. sor:
A '''modellelmélet''' a [[matematikai logika]] egyik legfontosabb ága a [[rekurzióelmélet]] mellett. A modellelméletben más matematikai diszciplínákhoz képest hangsúlyos szerephez jut az axiomatikus halmazelmélet, és szoros kapcsolatban van az
A modellelméletben konzisztensnek nevezzük az olyan formális elméleteket (nyelveket), melyekhez található a nyelv axiómáit teljesítő [[matematikai struktúra|struktúra]], más néven ekkor a formális nyelv '''modell'''je az illető struktúrának. A struktúra mintegy „értelmet ad” a vele megfogalmazott mondatoknak. Ha az L [[elsőrendű nyelv]]<!--miért csak a sajtkészítők?n-edrendűekre nem?--> és az '''A''' struktúra típusa megegyezik, akkor röviden azt mondjuk, hogy '''A''' egy L-struktúra. A [[Matematika|matematikában]] a modellelmélet az olyan klasszikus matematikai struktúrák tudománya, mint például a [[csoport]]ok vagy a [[Gráf|gráfok]]<!--szerintem ez nem modellelmélet, hanem egyszerűen csak matematika. A modellelmélet a modellekkel és nyelvekkel mint olyanokkal foglalkozik, a gráfelmélet pedig mondjuk az alkalmazása, de nem modellelm.-->.
|