Парадокс на Ръсел

Парадоксът на Ръсел е парадокс от теорията на множествата, изиграл важна роля при нейното формиране. Парадоксът е открит около началото на 20 век от Ернст Цермело и обсъждан в кръга на Давид Хилберт в Гьотинген. В средата на 1901 г. Бертран Ръсел самостоятелно достига до същата идея, съобщава я на Готлоб Фреге през лятото на 1902 г., като показва, че противоречието, което се получава от парадокса, може да бъде конструирано във Фрегевата логическа система, а през следващата година първо Фреге, който споменава откривателството на Ръсел, а после и самият Ръсел обсъждат парадокса в публикации.

Ден на свети Три светители

Денят на свети Три светители е християнски празник, отбелязван на 30 януари от Православната църква и Източнокатолическите църкви в памет на

Импликация

Импликация или по-точно материална импликация се нарича в логиката както едно сложно изречение, възникнало от свързването на две

Ps (Unix)

При повечето Unix-подобни операционни системи ps е програма, която показва таблица на текущите процеси стартирани на машината. Командата ps е аналог

Бализ

Бализ е вид транспондер, поставен между релсите на железопътна линия служещ за предаване на информация към преминаващия над него влак

Дизюнкция

Дизюнкция се нарича както едно сложно (съобщително) изречение, възникнало от свързването на две (съобщителни) изречения чрез съюза „или

Теорема на Талес

Теоремата на Талес гласи, че ако точки A, B и C лежат на една окръжност и отсечка AC е диаметър в нея, то ъгълът ABC ще бъде прав. Първото доказателство

Instrument landing system

Instrument landing system е най-точният начин за радио навигация при приземяване при полет по уреди. Тя работи като изпраща радиовълни от края на

Grep

grep е програма в команден ред, първоначално написана за Unix. Съществува по подразбиране на всички Unix-подобни операционни системи

Конюнкция

Конюнкция се нарича както едно сложно (съобщително) изречение, възникнало от свързването на две (съобщителни) изречения чрез съюза „и

Надежда Тихова

Надежда Иванова Тихова е българска театроведка, дългогодишна преподавателка по „История и теория на българския театър“ и професор в НАТФИЗ