Logika

Logika jest działem matematyki opisującym w sposób formalny mechanizmy ludzkiego myślenia – określa ona granice tego, co w poprawnym rozumowaniu dopuszczalne. Dzięki narzędziom dostarczanym przez logikę matematyczną możemy wyciągać poprawne wnioski z przyjętych założeń, co jest pomocne w szczególności przy dowodzeniu twierdzeń – bez których rozwój matematyki nie byłby możliwy. Choć logika początki swe bierze w starożytnej Grecji, za dział matematyki została uznana dopiero w XX wieku – wcześniej uważana była za domenę logików. Obecnie uważa się, że jest ona podstawową dziedziną nauk matematycznych oraz informatycznych i zdecydowana większość teorii oparta jest właśnie na jej fundamentach oraz wyrażona w języku pojęć z niej zaczerpniętych.