Matematyka.pl

mol_ksiazkowy pisze: ↑21 kwie 2024, o 21:25 viewtopic.php?p=174197#p174197

To akurat typowy wygląd posta z tego okresu. Ale wyjątkowo poprawiłem.

JK

mol_ksiazkowy pisze: ↑21 kwie 2024, o 19:11 viewtopic.php?p=170598#p170598

Poprawione.

JK

Po pierwsze... przeprowadziłam dowód empiryczny: dostawałam trochę za dużo korespondencji od użytkownika [D], na którą z pewnych powodów nie chciałam odpisywać. Regulamin nie zabrania takiego zachowania, więc nie przypuszczałam, co stanie się potem - skończyło się tak, że inny użytkownik [A] popros...

mol_ksiazkowy pisze: ↑21 kwie 2024, o 15:37 viewtopic.php?p=167330#p167330

Poprawione.

JK

A ja nie rozumiem tego, co napisałeś. Ta formuła znów jest "lewa", bo ma kwantyfikator egzystencjalny z implikacją (co wyklucza "intuicyjnie rozsądne" interpretacje). Przekształcamy równoważnie: \forall x\exists y((\left\langle x,y\right\rangle \in R\ \land\left\langle y,x\right\...

mol_ksiazkowy pisze: ↑21 kwie 2024, o 14:53 viewtopic.php?p=167333#p167333

Poprawione.

JK

mol_ksiazkowy pisze: ↑21 kwie 2024, o 14:19 viewtopic.php?p=165731#p165731

Poprawione.

JK

mol_ksiazkowy pisze: ↑21 kwie 2024, o 13:35 viewtopic.php?p=165717#p165717

Poprawione.

JK

\exists x\forall y\left(\left\langle x,x\right\rangle \in R\rightarrow\left(\left\langle x,y\right\rangle \in R\ \land\ \left\langle y,x\right\rangle \in R\right)\right) \Leftrightarrow Prawo eliminacji implikacji. \Leftrightarrow \exists x\forall y\left(\red{\left\langle x,x\right\rangle \notin R\...

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