-
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-17 To się NIE DZIEJE
- 2026-01-17 Czy to się kwalifikuje pod jakiś paragraf?
- 2026-01-17 Piaseczno cd 2
- 2026-01-17 Chlapacze do OPLA ale GUMOWE
- 2026-01-17 Toyota dba o Niemców.
- 2026-01-17 Wrocław => Junior Konsultant wdrożeniowy ERP <=
- 2026-01-17 Zlacze w mikrofonie z lat 80-tych
- 2026-01-17 Warszawa => Inżynier Systemów i Sieci <=
- 2026-01-17 Czy Trenerzy AI już kogoś pozwali za "zatrute ciastka"?
- 2026-01-17 Poznań => Konsultant SAP HCM <=
- 2026-01-17 Niestabilny materiał wybuchowy W AKCJI
- 2026-01-17 Myślenice => Junior SAP CO Consultant <=
- 2026-01-17 Warszawa => Data Developer <=
- 2026-01-17 pozwy przeciwko OpenAI związane z samobójstwami
- 2026-01-16 I kolejny jebniety 2




Fakturzystka, fakturzysta