-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.onet.pl!.POSTED!not-for-mail
From: bartekltg <b...@o...pl>
Newsgroups: pl.comp.programming
Subject: Re: Dennis Ritchie nie ?yje
Date: Sat, 15 Oct 2011 03:49:23 +0200
Organization: http://onet.pl
Lines: 54
Message-ID: <j7aor7$p14$1@news.onet.pl>
References: <4e96b35c$0$5813$65785112@news.neostrada.pl> <j76d79$jm3$1@polsl.pl>
<i...@4...com>
<7...@c...googlegroups.com>
<j78nc3$fhu$1@news.onet.pl>
<5...@b...googlegroups.com>
<j79g6i$8lm$1@news.onet.pl> <j7agai$vso$1@news.onet.pl>
<j7amsr$r2g$1@inews.gazeta.pl>
NNTP-Posting-Host: 144-mi3-6.acn.waw.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: news.onet.pl 1318643368 25636 85.222.69.144 (15 Oct 2011 01:49:28 GMT)
X-Complaints-To: n...@o...pl
NNTP-Posting-Date: Sat, 15 Oct 2011 01:49:28 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; pl; rv:1.9.2.23) Gecko/20110920
Thunderbird/3.1.15
In-Reply-To: <j7amsr$r2g$1@inews.gazeta.pl>
Xref: news-archive.icm.edu.pl pl.comp.programming:192838
[ ukryj nagłówki ]W dniu 2011-10-15 03:16, Andrzej Jarzabek pisze:
> On 15/10/2011 00:23, bartekltg wrote:
> [zasada nieoznaczoności]
>> Pomieszałeś działa literackie (czy filozoficzne)
>> z twierdzeniem matematycznym (wiele twierdzeń
>
> No, zasada nieoznaczoności to nie jest twierdzenie matematyczne, tylko
> prawo fizyki.
No właśnie nie. Zasadami fizycznymi, założeniami modelu
o nazwie mechanika kwantowa są rzeczy typu 'stan układu
jednej cząstki opisywany jest promieniem (wektorem z dokładnością
do normalizacji) z przestrzeni Hilberta' czy 'wielkości fizyczne
ktore można mierzyć opisywanme są operatorem hermitowskim, stany
odpowiadają jego wektorom włąsnym a mierozna wielkość- wartosći
własnej,...'.
Nazywamy zasadę N. prawem fizycznym, ale nie wnosi ona żadnej
nowej jakości do teorii. Jest matematycznym wnioskiem (twierdzeniem)
z postulatów mechaniki kwantowej. Byż może historycznie było inaczej,
ale to nic nie zmienia. Gdyby nie heinsenberg też by się pojwaiła
w prawie że identycznej formie, bo i mechanika kwantowa bez
Heinsenberga wyglądała by niemal identycznie.
> Raczej bzdurą byłoby twierdzić, że te prawa są odkrywane
> tylko dzięki osobistemu i niepowtarzalnemu geniuszowi swoich
> odkrywców.
Ale to gdzie sie nie zgadzamy?
Przecież mówie to samo, i w odniesieniu do fizyki, i do sporej
cześći matematyki matematyki, a także techniki. Pewne rzeczy
w pewnej chwili dojrzewają i pojawiają sie.
Heinsenberg i schreodinger rozwiązali ten sam problem tą
samą 'mechaqniką kwantową', tylko róznym zapisem (a, zę to to samo,
pożniej trzeba byo udowodnić).
Lemat Zorna udowodnił kilkanaście lat wcześniej Kuratowski.
Do wynalazienia telegrafu tez była kolejka.
Zanim Einstein zmajstrował OTW jej równania 'swobodne' (bez materii)
wyprowadził Hilbert.
Mniejszego kalibru, jakoś na początku wieku chyja jacyć japońcycy
ponownie odkryli paradoks Bella (2xrakieta, nitka i relatywistyka)
> Co do twierdzeń matematycznych można mieć wątpliwości, bo jest ich
> nieskończenie wiele, więc większości z nich nigdy nie udowodnimy.
Takich przydatnych jest skończenie wiele. Dziwnie często
na wykładach szłyszałem 'twierdzenie tego i tego', udowodnili to
niezaleznie w odstępie patu lat. W matematyce tez są mody
na określone zagadnienia.
pozdrawiam
bartekltg
Następne wpisy z tego wątku
- 15.10.11 05:08 n...@m...invalid
- 15.10.11 08:20
- 15.10.11 12:39 A.L.
- 15.10.11 15:32 Piotr M Kuć
- 15.10.11 17:58 Tomek Kańka
- 15.10.11 18:25
- 15.10.11 19:32 Michal Kleczek
- 15.10.11 19:37 Michal Kleczek
- 16.10.11 12:53 n...@m...invalid
- 16.10.11 13:53 RemeK
- 16.10.11 22:27 Andrzej Jarzabek
- 16.10.11 22:33 Andrzej Jarzabek
- 17.10.11 06:59 Tomasz Kaczanowski
- 17.10.11 10:42 bartekltg
- 17.10.11 17:59 slawek
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-11-16 Łódź => Frontend Engineer (Three.js) <=
- 2024-11-16 Warszawa => Expert Recruiter 360 <=
- 2024-11-16 Żerniki => Starszy specjalista ds. księgowości/ Samodzielny księgo
- 2024-11-16 Pruszków => Team Leader (PHP+React) <=
- 2024-11-16 Warszawa => Senior Cloud Consultant (AWS) <=
- 2024-11-16 Warszawa => Sitecore Developer <=
- 2024-11-16 Akta sprawy Kajetan Poznański
- 2024-11-16 Warszawa => OpenText ECM Specialist <=
- 2024-11-16 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2024-11-16 Warszawa => Account Manager - Usługi rekrutacyjne <=
- 2024-11-15 Google Play
- 2024-11-15 Szybcy i wściekli
- 2024-11-16 Opis produktu z Aliexpress
- 2024-11-15 No proszę, a śmialiście się z hindusów.
- 2024-11-14 Zewnętrzne napięcie referencyjne LM385 1,2V -> 100mV dla ICL7106, Metex M-3800