Matematyka.pl

Płynąłem kiedyś statkiem wycieczkowym. Na statku była karuzela. Na karuzeli pijani weselnicy tańczyli wkoło kankana. Na jednym z tych weselników chodziła mucha. I nic się nie rozerwało i nie rozleciało poza spodniami tego pijanego weselnika.

W szczególności zażenował mnie Andrzej Dragan, bo fakt iż chat zrobił dobrze jedno jego zadanie (standardowe przy okazji) wcale nie oznacza, że GPT będzie w przyszłości uprawiał fizykę teoretyczną. Bo z fizyki to rzeczony chat leży i kwiczy.


Rozwiązałbyś tutaj to zadanie? Chodzi o zadanie ze ...

Do największych logików dodałbym też Bertranda Russella oraz Alonzo Churcha. Warto też pamiętać Charlesa Sandersa Pierce'a oraz Leibniza.

Leśniewski miał znaczny wpływ na Tarskiego ze względu na swój nominalizm. Systemy nominalistyczne, które Leśniewski budował, inspirowały prace Tarskiego z ...

Na każdej sferze \mathbb{S} można zdefiniować skończenie addytywną miarę m:\mathcal{P}(\mathbb{S}) \rightarrow [0,1] taką, że
m(\mathbb{S}) = 1
oraz
m(A) = m\left(s(A)\right)
gdzie s jest symetrią względem środka i A\subseteq \mathbb{S} .

Wynika to z tego, że grupa \{1, s\} jest abelowa ...

Niech C, D będą zbiorami chłopców i dziewcząt. Dla x,y\in C\cup D będziemy pisali
$$xLy\,\Leftrightarrow\,x\mbox{ lubi }y$$
Oczywiście relacja L nie musi być symetryczna i zachodzi tylko pomiędzy przedstawicielami różnych płci. Dla ustalonego c \in C wprowadzamy zbiory
$$L_c = \big\{d\in D\,\big ...

Jeśli chodzi o mój wtręt na temat formalizacji, to proszę zauważyć, że napisałem:


Należy zwrócić uwagę, że ściśle rzecz biorąc można powiedzieć o poprawnym lub niepoprawnym rozwiązaniu tylko takiego problemu matematycznego (logicznego, naukowego), który jest sformalizowany.


Prawda, że można ...

Właśnie znalazłem ten stary wątek, motywowany podobnym aktualnym wątkiem na temat synów sąsiada. Niektóre wypowiedzi w tym wątku, zwłaszcza wypowiedzi Slupa, wzbudzają mój gwałtowny protest. Dlatego się wypowiadam.


Bardzo dobrze. Chętnie wrócę do tego tematu.

Na początek odniosę się tylko do ...

W pierwszym i drugim przypadku po około 50% na płeć. Światowy trend jest odrobione w stronę chłopców (pewnie ewolucja preferuje lepsze geny - odwyrtka za toksyczność), ale dla uproszczenia powiedzmy, ze po 50% płeć. Dalej juz prosto policzyć.


Tak. Można przyjąć, że prawdopodobieństwo urodzenia ...

Te zadania są jednoznaczne, o ile rozwiązujący wykaże się odrobiną dobrej woli.

Widzę, że pan się ładnie przedstawił przed, nam tutaj w tej chwili słuchaczom, przed milionami słuchaczy.

Matematyka.pl nie ma https?

Załóżmy, że pewien mój sąsiad ma dwójkę dzieci. Pewnego dnia przechodząc ulicą widziałem go w jego przydomowym garażu, gdy majsterkował z synem.

Dwa zadania.
1. Sąsiad jest przykładem toksycznego mężczyzny (jak większość mężczyzn zresztą) i uważa, że kobiety nie nadają się do majsterkowania. Jakie ...

Oglądając swój rachunek za prąd zastanawiałem się, jak to zadanie rozwiązałaby pani Hennig-Kloska i wtedy wymyśliłem takie rozwiązanie.

Niech L będzie zbiorem 10 linii wewnętrznych na szachownicy 6\times 6 . Zaś niech K będzie zbiorem 18 kostek domina 2\times 1 jakoś ułożonych na szachownicy. Dla l ...

Z rozmowy z pewnym logikiem dowiedziałem się kiedyś, że ZF bez aksjomatu nieskończoności to teoria równoważna arytmetyce Peano (I rzędu oczywiście). Nie wiem, czy dobrze zapamiętałem, ale to brzmi bardzo wiarygodnie.

Siłą wyrazu modeli skończonych dla rozmaitych teorii logicznych zajmował się prof ...

Do tego potrzeba twierdzenia Borsuka-Ulama.

Niestety w dowodzie lematu jest błąd. Wątpię, czy to da się naprawić. Próbowałem już jakiś czas. Szkoda, bo rozumowanie sprawiło mi przyjemność.

Elegancki argument z drzewami binarnymi o długich gałęziach. Myślałem o tym, ale w pewnym momencie uwierzyłem, że mogę ograniczyć moc tej rodziny.

dowód przemawiający do prostego i pracującego ludu miast i wsi


Stanisław Mazur w latach 30-tych był zagorzałym marksistą. Teoria Gelfanda-Naimarka jest wynalazkiem sowieckim. Podobnie jak znaczna część współczesnej matematyki.


, mam tylko jedno pytanie jakie są przesłanki, że ostateczny ...