-
Data: 2005-07-23 21:34:10
Temat: Re: pseudoinformatycy
Od: "Immona" <c...@W...zpds.com.pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]
Użytkownik "Mariusz 'BB' Trojanowski" <m...@a...in.sig> napisał w
wiadomości news:dbuc7j$33n$1@inews.gazeta.pl...
> On 7/23/2005 10:56 PM, Immona wrote:
>
>>
>> Użytkownik "Mariusz 'BB' Trojanowski" <m...@a...in.sig> napisał w
>> wiadomości news:dbu477$4va$1@inews.gazeta.pl...
>>
>>
>> Wikipedia nie jest zrodlem rzetelnej informacji, niestety.
>
> Bo? Już któryś raz słyszę tak zarzut. Jes źródłem informacji rzetelnej i w
> ciekawy sposób podanej. Nie jest źródłem informacji autorytatywnej, bo
> każdy może do niej dołożyć swoje trzy grosze? Za to jest aktualna, o ile
> podchodzić do niej świadomie i krytycznie, co w odniesieniu do każdego
> źródła informacji jest zresztą wskazane.
Do Wikipedii wpisuje informacje kazdy, niekoniecznie posiadajacy pelna
wiedza na dany temat, a jeszcze rzadziej - obiektywizm. Wikipedia czesciej
zawiera informacje na temat obiegowego znaczenia czegos i "powszechnego
postrzegania", co moze byc bardzo przydatne w wielu wypadkach, ale nie w
kazdym przypadku.
>
>> Istnieje definicja naukowa i uzytkowa. Naukowa jest taka, jak podalam.
>
> Podaj, proszę, źródło, bo ja nie widziałem nigdzie definicji informatyki,
> jako "nauki o programach".
Teza Churcha-Turinga. Ty jestes po studiach infomatycznych, prawda?
>
>> zreszta, jak by nie patrzec, to wszystko, co wymieniles, podpada pod
>> programy - wymienione przez Ciebie procesy wykonuje sie przy pomocy
>> algorytmow, a algorytm=program (wedlug tezy Churcha-Turinga).
>>
>
> Wiesz, dowody matematyczne też są ciągiem logicznych kroków wynikających z
> aksjomatów i zastosowanych metod dowodzenia logicznego. Czy też nazwiesz
> je programami, zaś matematykę - nauką o programach?
Specyfikacja to teza, a program jest dowodem tej tezy (izomorfizm
Curriego-Howarda). (Stosuje sie to raczej do matematki konstruktywnej, a nie
niekonstruktywnej (klasycznej)).
I.
Następne wpisy z tego wątku
- 23.07.05 22:54 Stanislaw Chmielarz
- 23.07.05 22:59 Stanislaw Chmielarz
- 23.07.05 23:01 Stanislaw Chmielarz
- 24.07.05 06:45 Piotr
- 24.07.05 08:25 Mariusz 'BB' Trojanowski
- 24.07.05 09:36 Bronek Kozicki
- 24.07.05 09:37 Paweł Goleń
- 24.07.05 09:38 Bronek Kozicki
- 24.07.05 09:49 Bronek Kozicki
- 24.07.05 10:06 Stanislaw Chmielarz
- 24.07.05 11:18 Immona
- 24.07.05 11:24 Immona
- 24.07.05 11:24 futszaK
- 24.07.05 11:45 futszaK
- 24.07.05 11:57 futszaK
Najnowsze wątki z tej grupy
- Pedalskie ogłoszenia na rządowej s. WWW oferty.praca.gov.pl:443
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Ile powinien trwać tydzień pracy?
- Jakie znacie działające serwery grup dyskusyjnych?
- is it live this group at news.icm.edu.pl
- praca 12/24
- 5 minut przerwy przy komputerze
- raczej już nigdy nie będę pracował w Polsce
- Stanowiska sztucznie tworzone
- Re: SOLUTIONS MANUAL: Optical Properties of Solids 2nd Ed by Mark Fox
- zapłata
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Jawność zarobków wszystkich
- rozmówki przy wódeczce...
Najnowsze wątki
- 2025-03-29 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-03-29 Warszawa => NMS System Administrator <=
- 2025-03-29 Warszawa => Laravel PHP Developer <=
- 2025-03-29 Warszawa => Java Full Stack Developer (Angular2+) <=
- 2025-03-29 Warszawa => Specjalista rekrutacji IT <=
- 2025-03-28 Rzeszów => WEBCON Developer <=
- 2025-03-28 Szczecin => Specjalista ds. public relations <=
- 2025-03-28 Warszawa => Staż w dziale Sprzedaży B2B <=
- 2025-03-28 Warszawa => MENA New Business Manager <=
- 2025-03-28 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-03-28 Białystok => Generative AI Engineer <=
- 2025-03-28 China-Kraków => Key Account Manager IT <=
- 2025-03-28 Warszawa => SQL Developer <=
- 2025-03-28 Gliwice => Ekspert IT (obszar systemów sieciowych) <=
- 2025-03-28 Gliwice => IT Expert (Network Systems area) <=