Съдържание
32 отношения: Компютър, Компютърни науки, Принстънски университет, Платон, Платонизъм, Основи на математиката, Олга Тауски-Тод, Аритметика, Аксиома, Алън Тюринг, Анджей Мостовски, Рудолф Карнап, Роза Петер, Самоубийство, Теория на цветовете, Теорема на Гьодел за непълнота, Хилбертови проблеми, Цялостност по Тюринг, Математическа логика, Математика, Мориц Шлик, История на изчислителната техника, История на математиката, Изкуствен интелект, Бъртранд Ръсел, Бърно, Виенски университет, Гьодел, Даниел Келман, Емил Пост, 14 януари, 28 април.
Компютър
Компютърът е изчислително устройство с общо предназначение, което може да бъде програмирано да извършва набор от аритметични и/или логически операции.
Компютърни науки
Компютърните науки изучават теорията и практиката, създават и провеждат експерименти и експериментални изследвания, и използват технологични и инженерни познания с цел проектирането, конфигурирането и използването на компютри и компютърни мрежи.
Виж Курт Гьодел и Компютърни науки
Принстънски университет
Принстънският университет (Princeton University) е частен университет, намиращ се в град Принстън, щата Ню Джърси, САЩ.
Виж Курт Гьодел и Принстънски университет
Платон
Пла̀тон (Πλάτων) е древногръцки учен, математик и философ.
Платонизъм
Платонизмът е философията на Платон и други философски доктрини, считани за нейни производни.
Основи на математиката
През дългата си история математиката често се е сблъсквала с проблеми свързани със собствената ѝ същност.
Виж Курт Гьодел и Основи на математиката
Олга Тауски-Тод
Олга Тауски-Тод (30 август 1906, Оломоуц, Моравия – 7 октомври 1995, Пасадина, Калифорния) е австрийска, а впоследствие чешко-американска математичка.
Виж Курт Гьодел и Олга Тауски-Тод
Аритметика
Аритметиката е най-старият дял на математиката, която изучава свойствата на числата и операциите в числови множества.
Аксиома
Папирус, съдържащ част от Втора книга от „Елементи“ на Евклид Еварист Галоа (1811 – 1832) Аксиома или постулат в класическата логика е твърдение, което не е доказано, а се разглежда като самоподразбиращо се или като неизбежно произволно приемане.
Алън Тюринг
Алън Матисън Тюринг (Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ.
Анджей Мостовски
А̀нджей Станѝслав Мосто̀вски (Andrzej Stanisław Mostowski) е един от значимите полски математици на XX век.
Виж Курт Гьодел и Анджей Мостовски
Рудолф Карнап
Рудолф Карнап (Rudolf Carnap) е германски философ, съосновател и водещ представител на логическия емпиризъм (направление в ранната аналитична философия).
Виж Курт Гьодел и Рудолф Карнап
Роза Петер
Роза Петер (Rózsa Péter) е унгарска математичка, най-известна с работата си в областта на теория на рекурсията.
Самоубийство
Самоубийство (или суицид – suicidium, от sui caedere, „да се убия“) е акт, при който човек умишлено причинява собствената си смърт.
Виж Курт Гьодел и Самоубийство
Теория на цветовете
Теория на цветовете (Zur Farbenlehre) е написана от Йохан Волфганг фон Гьоте през 1810 г.
Виж Курт Гьодел и Теория на цветовете
Теорема на Гьодел за непълнота
Теоремата на Гьодел за непълнота описва математически невъзможността за изразяване на цялата истина за дадена предметна област с формални средства (тази формулировка е известна като първа теорема на Гьодел за непълнота).
Виж Курт Гьодел и Теорема на Гьодел за непълнота
Хилбертови проблеми
Хилбертовите проблеми ca 23 нерешени от математиците проблема, представeни от Давид Хилберт по време на втория математически конгрес, проведен в Париж през 1900 г.
Виж Курт Гьодел и Хилбертови проблеми
Цялостност по Тюринг
В изчислителната теория система от правила за манипулация на данни (като набор от инструкции на компютъра, програмен език, или клетъчен автомат) се смята за цялостна по Тюринг или изчислително универсална, ако може да се използва за симулиране на която и да било еднолентова машина на Тюринг.
Виж Курт Гьодел и Цялостност по Тюринг
Математическа логика
Математическата логика е дял от математиката, съвременна форма на формалната логика.
Виж Курт Гьодел и Математическа логика
Математика
Формули Математика (μάθημα, матема – знание, изучаване, учене) е изучаването на области като количествата (т.е. теория на числата) Определение за „математика“ от Оксфордския речник на английския език,, математически – абсктрактни структури (включително пространствените структури), типовете физично пространство, извършването на изчисления и математически анализ.
Мориц Шлик
ФридрихАлберт Мориц Шлик (Friedrich Albert Moritz Schlick) е германски физик и философ, направление логически позитивизъм.
История на изчислителната техника
Историята на изчислителната техника е тясно свързана с човешкото развитие от древността до днес и обхваща развитието на методите за изчисление и на техническите средства от първите най-прости устройства за пресмятане до съвременните най-модерни компютърни системи.
Виж Курт Гьодел и История на изчислителната техника
История на математиката
Според Андрей Колмогоров историята на математиката може да се раздели на следните периоди.
Виж Курт Гьодел и История на математиката
Изкуствен интелект
РобоКъп е състезание за роботи с изкуствен интелект Изкуственият интелект (ИИ; artificial intelligence, AI) е интелектът, демонстриран от компютри, за разлика от естествения интелект, демонстриран от животни и хора.
Виж Курт Гьодел и Изкуствен интелект
Бъртранд Ръсел
Бъртранд Артър Уилям Ръсел (Bertrand Arthur William Russell), 3-ти граф Ръсел, е британски философ, логик, математик, историк, пацифист и социален критик.
Виж Курт Гьодел и Бъртранд Ръсел
Бърно
Бърно (Brünn; Bruna; ברין, Брин) е град в Югоизточна Чехия, център на Южноморавски край.
Виенски университет
Виенският университет (Universität Wien; Alma Mater Rudolphina Vindobonensis) е държавен университет, разположен в австрийската столица Виена.
Виж Курт Гьодел и Виенски университет
Гьодел
#виж Курт Гьодел.
Даниел Келман
Даниел Келман (Daniel Kehlmann) е австрийско-германски драматург, актьор, поет и писател на бестселъри в жанра драма, съвременен и исторически роман.
Виж Курт Гьодел и Даниел Келман
Емил Пост
Емил Леон Пост (Emil Leon Post) е американски математик и логик.
14 януари
14 януари е 14-ият ден в годината според григорианския календар.
28 април
28 април е 118-ият ден в годината според григорианския календар (119-и през високосна година).