14 stycznia minęła rocznica urodzin jedenego z najwybitniejszych logików czasów nowożytnych, wybitnego specjalisty w logice matematycznej, algebrze abstrakcyjnej oraz teorii mnogości. Systematyczne kontakty naukowe z reprezentantami szkoły lwowsko-warszawskiej, do której najwybitniejszych reprezentantów jest zaliczany, zdecydowały o ukształtowaniu się jego zainteresowań i poglądów filozoficznych. Wraz z Abrahamem Robinsonem (1918-1974) stworzył matematyczną teorię modeli. Ze względu na swe prace o rozstrzygalnych i nierozstrzygalnych systemach aksjomatycznych uważany jest za prekursora informatyki. W latach trzydziestych rozpoczął pionierskie badania nad pojęciem prawdy w językach sformalizowanych; zwieńczeniem owych badań był słynny artykuł, wydany w 1933 pod takim właśnie tytułem.
Nauki
Treść zweryfikowana i sprawdzona
Zgodnie z misją, Redakcja serwisu dokłada wszelkich starań, aby dostarczać rzetelne i sprawdzone treści edukacyjne.
Dodatkowe oznaczenie "Sprawdzona treść" wskazuje, że dany materiał został zweryfikowany przez Redakcję lub ekspertów współpracujących z serwisem.
Weryfikacja tekstu odbywa się na następujących poziomach:
1. Sprawdzenie tekstu pod kątem ewentualnych błędów ortograficznych, stylistycznych, interpunkcyjnych lub innych.
2. Weryfikacja tekstu pod kątem błędów rzeczowych.
3. Sprawdzenie materiału pod kątem ich aktualności.
Dodatkowe oznaczenie "Sprawdzona treść" wskazuje, że dany materiał został zweryfikowany przez Redakcję lub ekspertów współpracujących z serwisem.
Weryfikacja tekstu odbywa się na następujących poziomach:
1. Sprawdzenie tekstu pod kątem ewentualnych błędów ortograficznych, stylistycznych, interpunkcyjnych lub innych.
2. Weryfikacja tekstu pod kątem błędów rzeczowych.
3. Sprawdzenie materiału pod kątem ich aktualności.