-
Data: 2016-09-21 11:18:31
Temat: Re: Pisanie programów do obliczeń symbolicznych
Od: slawek <f...@f...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Tue, 20 Sep 2016 21:28:40 +0200, bartekltg <b...@g...com>
wrote:
> Czytanie ze zrozumieniem ma przezłość.
???
> Przykład Nemroda, czyli wielomian wielu zmiennych
Pogubiłeś się. Nemrod dał przykład A. Ja dałem inny przykład B.
Nemrod określił B jako łatwy do rozwiązania na kartce papieru. Ty
poparłeś Nemroda co do oceny przykładu B. Choć być może chciałeś w
istocie rzeczy ocenić A.
Fakt B jest niezaprzeczalny: dowód tw. o czterech barwach był
przeprowadzony przy użyciu komputera. Ludzie bez takiego wspomagania
nie dawali rady przez około sto lat. Więc nie ma co udawać że
komputery są za głupie aby pomagać matematykom.
Co do A: równie dobrze można narzekać że komputer nie potrafi
wydrukować wszystkich cyfr liczby pi.
Następne wpisy z tego wątku
- 21.09.16 11:33 bartekltg
- 02.10.16 02:27 a...@m...uni.wroc.pl
Najnowsze wątki z tej grupy
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
Najnowsze wątki
- 2026-01-15 Konto na zdalnym NAS - jak zabezpieczyc pliki?
- 2026-01-15 Myślenice => Junior SAP CO Consultant <=
- 2026-01-15 Wyjaśnienie patologii opisanej w art. pt. "Przeciw bezkarności biznesu"
- 2026-01-15 Wyjaśnienie patologii opisanej w art. pt. "Przeciw bezkarności biznesu"
- 2026-01-15 "deficyt budżetowy [na 2026r. -przyp. JMJ] jest prognozowany na poziomie 271,7"Gzł, czyli 74.52G$
- 2026-01-15 Miliardy z podatków znów popłynęły do TVP
- 2026-01-14 #Motodziennik test - Jaecoo E5 - słabe auto, słaby elektryk. A ZIMĄ NAWET BARDZO
- 2026-01-14 Piaseczno cd
- 2026-01-14 Robert do ciebie
- 2026-01-14 Prątki to zawalidrogi
- 2026-01-14 Naruszenie immunitetu ZP-RE Romanowskiego bezkarne (umorzenie śledztwa żurkotury)
- 2026-01-14 Prezydent Trzaskowski nie będzie mógł ułaskawić Tuska, Sienkiewicza, Bodnara, ... przed prawomocnym wyrokiem?
- 2026-01-14 Do Kongresu SZAP/USONA Złożono Proj. ,,Ustawy o aneksji i statusie stanowym Grenlandii"
- 2026-01-13 STREFA CZYSTEGO TRANSPORTU. O tym nie mówią nam WŁADZE
- 2026-01-13 To nie koniec




5 Najlepszych Programów do Księgowości w Chmurze - Ranking i Porównanie [2025]