|
|
Dokładniej to jesteśmy blisko nie tylko fizyki, ale także informatyki. Proszę sprawdzić hasła "teoria typów" (też intuicjonistyczna t.t.), "rachunek lambda", "programowanie funkcyjne", "monady w… |
|
|
Jeszcze pamiętam Pański wpis. Mówił Pan tam o zadaniu, więc prawdopodobnie o tym "Może nawet ktoś zechce zostać odkrywcą i sprawdzi, czy jakieś analogiczne twierdzenie nie zachodzi, gdy weźmiemy trzy… |
|
|
Tak na chłopski rozum teorie geometryczne idą jeszcze dalej niż to, co napisałem powyżej, bo wiążą za pomocą symboli operacji (a potem też relacji), elementy różnych klas. Na przykład punkty z… |
|
|
No to proszę się dobrze przypiąć do fotela, bo w następnym tygodniu będziemy latać w hiperprzestrzeni. Przygotowuję właśnie nowy tekst. :)))) |
|
|
Właściwie nie tyle sama geometria, co specjalna zdolność widzenia matematycznej rzeczywistości poprzez teorie (ufundowane na logice) i ich różnorakie modele. Jeśli pamięta Pan jeszcze nasze… |
|
|
Tam po prostu zniknął nawias. Chyba miałem ochotę to wykasować i w efekcie zgubiłem. Dziękuje za wskazanie :)
Uwaga 2: liniowość tak właśnie się definiuje. Z tym, że mogłem użyć neutralnych symboli,… |
|
|
Jako doskonałe uzupełnienie mojego tekstu (w warstwie krytycznej) polecam świetny wykład doktora Jana Przybyła: https://www.youtube.com/… |