Szybszy dostęp niż przeglądarce!
27 kontakty: Aksjomat, Aksjomaty Zermela-Fraenkla, Anegdota, Antynomia, Bertrand Russell, Cyrulik sewilski (opera), Definicja niepredykatywna, Formuła logiczna, Funkcja charakterystyczna zbioru, John D. Barrow, Klasa (matematyka), Logicyzm, Logika trójwartościowa, Logika wielowartościowa, Matematyka, Paradoks, Paradoks Berry’ego, Paradoks kłamcy, Paradoks Richarda, Paradoks zbioru wszystkich zbiorów, Problem stopu, Sewilla, Teoria mnogości, Twierdzenia Gödla, Zbiór, Zbiór rozmyty, 1901.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Antynomia Russella i Aksjomat · Zobacz więcej »
Aksjomaty Zermela-Fraenkla
Aksjomaty ZermelaW literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty Zermelo”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „Zermeli”.
Nowy!!: Antynomia Russella i Aksjomaty Zermela-Fraenkla · Zobacz więcej »
Anegdota
Anegdota (gr. τὸ ἀνέκδοτоν, to anekdoton „nieopublikowane” od ἀν-, an- „nie-” i ἔκδοτος, ékdotos „opublikowane”, z ἐκ-, ek- „na zewnątrz” i δίδωμι, dídōmi „daję”) – krótka forma literacka, zawierająca prawdziwe lub zmyślone opowiadanie o zdarzeniu z życia znanej postaci, żyjącej albo historycznej, lub z życia określonego środowiska czy grupy społecznej.
Nowy!!: Antynomia Russella i Anegdota · Zobacz więcej »
Antynomia
Antynomia (gr. antinomia – sprzeczność praw) – logiczna sprzeczność, paradoks, zdanie logiczne bądź rozumowanie dedukcyjne, które prowadzi do sprzeczności.
Nowy!!: Antynomia Russella i Antynomia · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Antynomia Russella i Bertrand Russell · Zobacz więcej »
Cyrulik sewilski (opera)
Uwertura cz. 1 New York Philharmonic pod batutąArturo Toscaniniego w 1929 r. Cyrulik sewilski (wł. Il Barbiere di Siviglia) – opera buffa Gioacchina Rossiniego w dwóch aktach z 1816 roku.
Nowy!!: Antynomia Russella i Cyrulik sewilski (opera) · Zobacz więcej »
Definicja niepredykatywna
Definicja niepredykatywna – w logice matematycznej definicja zawierająca element samoodniesienia.
Nowy!!: Antynomia Russella i Definicja niepredykatywna · Zobacz więcej »
Formuła logiczna
Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in.
Nowy!!: Antynomia Russella i Formuła logiczna · Zobacz więcej »
Funkcja charakterystyczna zbioru
Funkcja charakterystyczna zbioru, indykator zbioru – niech A będzie dowolnym zbiorem, zaś B jego podzbiorem, B \subseteq A. Funkcjącharakterystycznązbioru B nazywa się funkcję rzeczywistąf\colon A \longrightarrow \ określonąnastępującym wzorem: Oznaczeniem funkcji charakterystycznej zbioru B\subseteq A jest \mathbf 1_, \ \chi_, \ \mathbf 1_B, bądź \chi_B.
Nowy!!: Antynomia Russella i Funkcja charakterystyczna zbioru · Zobacz więcej »
John D. Barrow
John David Barrow (ur. 29 listopada 1952 w Londynie, zm. 27 września 2020 w Cambridge) – brytyjski fizyk teoretyk, kosmolog, profesor nauk matematycznych na Uniwersytecie Cambridge, pisarz popularnonaukowy, anglikanin.
Nowy!!: Antynomia Russella i John D. Barrow · Zobacz więcej »
Klasa (matematyka)
Klasa – wielość obiektów, która może być określona przez własność posiadanąprzez wszystkie jej elementy.
Nowy!!: Antynomia Russella i Klasa (matematyka) · Zobacz więcej »
Logicyzm
Logicyzm – kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika).
Nowy!!: Antynomia Russella i Logicyzm · Zobacz więcej »
Logika trójwartościowa
Logika trójwartościowa – wariant logiki zdań bądź predykatów rozszerzony o dodatkowąwartość w stosunku do systemów klasycznych.
Nowy!!: Antynomia Russella i Logika trójwartościowa · Zobacz więcej »
Logika wielowartościowa
Logika wielowartościowa – rodzaj rachunku zdań, w którym przyjmuje się więcej niż dwie wartości logiczne.
Nowy!!: Antynomia Russella i Logika wielowartościowa · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Antynomia Russella i Matematyka · Zobacz więcej »
Paradoks
Paradoks (gr. parádoxos – „nieoczekiwany, nieprawdopodobny, zadziwiający”) – twierdzenie logiczne prowadzące do zaskakujących lub sprzecznych wniosków.
Nowy!!: Antynomia Russella i Paradoks · Zobacz więcej »
Paradoks Berry’ego
Paradoks Berry’ego dotyczy liczb naturalnych.
Nowy!!: Antynomia Russella i Paradoks Berry’ego · Zobacz więcej »
Paradoks kłamcy
Paradoks kłamcy zwany także paradoksem Eubulidesa lub antynomiąkłamcy, mówi o niemożliwości zdefiniowania pojęcia prawdy w obrębie języka, do którego to pojęcie się odnosi.
Nowy!!: Antynomia Russella i Paradoks kłamcy · Zobacz więcej »
Paradoks Richarda
Paradoks Richarda jest antynomiąw teorii zbiorów i języku naturalnym po raz pierwszy opisanąw 1905 roku przez Julesa Richarda.
Nowy!!: Antynomia Russella i Paradoks Richarda · Zobacz więcej »
Paradoks zbioru wszystkich zbiorów
Paradoks zbioru wszystkich zbiorów – paradoks tzw.
Nowy!!: Antynomia Russella i Paradoks zbioru wszystkich zbiorów · Zobacz więcej »
Problem stopu
Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.
Nowy!!: Antynomia Russella i Problem stopu · Zobacz więcej »
Sewilla
Sewilla (hiszp. Sevilla) – miasto w południowej Hiszpanii, stolica regionu Andaluzja.
Nowy!!: Antynomia Russella i Sewilla · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Antynomia Russella i Teoria mnogości · Zobacz więcej »
Twierdzenia Gödla
Twierdzenia Gödla – wspólna nazwa dwóch rezultatów logiki matematycznej i metamatematyki.
Nowy!!: Antynomia Russella i Twierdzenia Gödla · Zobacz więcej »
Zbiór
Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).
Nowy!!: Antynomia Russella i Zbiór · Zobacz więcej »
Zbiór rozmyty
Zbiór rozmyty – obiekt matematyczny ze zdefiniowanąfunkcjąprzynależności (zwanąteż funkcjącharakterystycznązbioru rozmytego), która przybiera wartości z przedziału.
Nowy!!: Antynomia Russella i Zbiór rozmyty · Zobacz więcej »
1901
Bez opisu.
Nowy!!: Antynomia Russella i 1901 · Zobacz więcej »
Przekierowuje tutaj:
Paradoks Russella, Paradoks ciotki, Paradoks cyrulika.
