9 kontakty: Aksjomat wyboru, Dowód (matematyka), Dowód nie wprost, Intuicjonizm (matematyka), Liczby niewymierne, Liczby wymierne, Paradoks Banacha-Tarskiego, Prawo wyłączonego środka, Zasada szufladkowa Dirichleta.
Aksjomat wyboru
Dla każdej rodziny niepustych zbiorów (słoików) istnieje funkcja przypisująca elementom z tych zbiorów po jednym elemencie w pewnym zbiorze (słoiku) (S''i'') jest rodzinązbiorów indeksowanąza pomocąliczb rzeczywistych '''R''', tzn. dla każdej liczby rzeczywistej ''i'' istnieje jakiś zbiór S''i''; kilka takich zbiorów pokazano powyżej. Każdy taki zbiór posiada co najmniej jeden element, choć może ich mieć dowolnie wiele. Aksjomat wyboru pozwala dowolnie wybrać po jednym elemencie z każdego zbioru, aby utworzyć rodzinę elementów (''x''''i'') indeksowanych liczbami rzeczywistymi, gdzie ''x''''i'' wybrano z S''i''. W ogólności rodzina może być indeksowana liczbami należącymi do dowolnego zbioru ''I'', niekoniecznie do '''R'''. Aksjomat wyboru, pewnik wyboru, AC (od) – aksjomat teorii mnogości gwarantujący istnienie zbioru zawierającego dokładnie po jednym elemencie z każdego zbioru należącego do danej rodziny niepustych zbiorów rozłącznych.
Nowy!!: Dowód niekonstruktywny i Aksjomat wyboru · Zobacz więcej »
Dowód (matematyka)
Dowód – wykazanie, że pewne zdanie jest prawdziwe.
Nowy!!: Dowód niekonstruktywny i Dowód (matematyka) · Zobacz więcej »
Dowód nie wprost
Dowód nie wprost (dowód apagogiczny, dowód sokratejski, – sprowadzenie do sprzeczności, łac. contradictio in contrarium – zaprzeczenie przeciwieństwa, – sprowadzenie do niemożliwości) – forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym (założenie nieprawdziwości twierdzenia prowadzi do sprzeczności), co pozwala przyjąć, że zaprzeczenie tezy jest fałszywe, a sama teza prawdziwa.
Nowy!!: Dowód niekonstruktywny i Dowód nie wprost · Zobacz więcej »
Intuicjonizm (matematyka)
Intuicjonizm – pogląd filozoficzny w zakresie istnienia obiektów matematycznych.
Nowy!!: Dowód niekonstruktywny i Intuicjonizm (matematyka) · Zobacz więcej »
Liczby niewymierne
Liczby niewymierne – liczby rzeczywiste niebędące wymiernymi, czyli niebędące ilorazami liczb całkowitych, czasem oznaczane różnicązbiorów: \mathbb R\backslash \mathbb Q. Przykłady to.
Nowy!!: Dowód niekonstruktywny i Liczby niewymierne · Zobacz więcej »
Liczby wymierne
Standardowy symbol zbioru liczb wymiernych równoliczny ze zbiorem liczb naturalnych. Liczby wymierne – liczby, które można zapisać w postaci ilorazu dwóch liczb całkowitych, w którym dzielnik jest różny od zera.
Nowy!!: Dowód niekonstruktywny i Liczby wymierne · Zobacz więcej »
Paradoks Banacha-Tarskiego
Paradoks Banacha-Tarskiego: Kula może być pocięta na skończenie wiele kawałków, z których można złożyć dwie kule identyczne z kuląwyjściowąParadoks Banacha-Tarskiego (paradoks Hausdorffa-Banacha-Tarskiego, paradoksalny rozkład kuli) – paradoksalne twierdzenie teorii miary sformułowane i udowodnione przez Stefana Banacha i Alfreda Tarskiego w 1924 roku.
Nowy!!: Dowód niekonstruktywny i Paradoks Banacha-Tarskiego · Zobacz więcej »
Prawo wyłączonego środka
Prawo wyłączonego środka (dosł. trzecie nie będzie dane, trzeciej możliwości nie ma) – jedno z podstawowych praw klasycznego rachunku zdań.
Nowy!!: Dowód niekonstruktywny i Prawo wyłączonego środka · Zobacz więcej »
Zasada szufladkowa Dirichleta
Gołębi jest więcej niż skrzynek, wobec czego w jednej sądwa ptaki Zasada szufladkowa Dirichleta – twierdzenie matematyczne, mówiące: Formalna treść twierdzenia.
Nowy!!: Dowód niekonstruktywny i Zasada szufladkowa Dirichleta · Zobacz więcej »