Matematyka.pl

mol_ksiazkowy pisze: ↑21 kwie 2024, o 01:11 viewtopic.php?p=175061#p175061

Poprawione.

JK

mol_ksiazkowy pisze: ↑20 kwie 2024, o 22:33 viewtopic.php?p=200992#p200992

Poprawione.

JK

Hir pisze: ↑20 kwie 2024, o 22:09 To można wspomnieć jeszcze o dowodzie twierdzenia Goodsteina, gdzie samo sformułowanie nie używa nieskończoności, ale jego uzasadnienie już tak.

Co więcej, bez "nieskończoności" nie da się go dowieść: https://en.wikipedia.org/wiki/Goodstein%27s_theorem

mol_ksiazkowy pisze: ↑20 kwie 2024, o 20:35 viewtopic.php?p=112131#p112131

Poprawione.

JK

Hir pisze: ↑20 kwie 2024, o 21:11 Czy muszę odpowiadać na każdą prywatną wiadomość?

No skąd.

Hir pisze: ↑20 kwie 2024, o 21:11 Co się stanie, jeśli tego nie zrobię?

Nic.

JK

Myślę, że powinieneś sam być w stanie ocenić poprawność rozumowań o tym stopniu złożoności.

JK

mol_ksiazkowy pisze: ↑20 kwie 2024, o 19:52 viewtopic.php?p=105372#p105372

Poprawione.

JK

Bo w takiej topologii singletony są domknięte (i dlatego nawet każda topologia \(\displaystyle{ T_1}\) na zbiorze skończonym jest dyskretna).

JK

mol_ksiazkowy pisze: ↑20 kwie 2024, o 18:44 viewtopic.php?p=143990#p143990

Poprawione.

JK

mol_ksiazkowy pisze: ↑20 kwie 2024, o 18:32 viewtopic.php?p=708961#p708961

Poprawione.

JK

Lepiej przedstawić tę formułę w postaci równoważnej: \exists x\left(\left\langle x,x\right\rangle \in R\rightarrow\forall y\left(\left\langle x,y\right\rangle \in R\ \land\ \left\langle y,x\right\rangle \in R\right)\right). No i polecenie jest dość... nieprecyzyjne. Tym bardziej, że ta formuła wyglą...

mol_ksiazkowy pisze: ↑20 kwie 2024, o 14:20 viewtopic.php?p=384999#p384999

Poprawione.

JK

mol_ksiazkowy pisze: ↑20 kwie 2024, o 11:26 viewtopic.php?p=699997#p699997

Mniej więcej poprawione.

JK

mol_ksiazkowy pisze: ↑20 kwie 2024, o 00:27 viewtopic.php?p=4863777#p4863777

Poprawione.

JK

Jak różnica jest dodatnia, to ciąg jest rosnący, a jak ujemna - malejący.

JK