-
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-04-15 Warszawa => Programista Back-end <=
- 2025-04-15 Warszawa => Back-end Programmer <=
- 2025-04-15 Warszawa => Senior IT Recruitment Consultant <=
- 2025-04-15 Częstochowa => Product Manager - Systemy infrastruktury teleinformaty
- 2025-04-14 Szczecin => Key Account Manager (ERP) <=
- 2025-04-14 Warszawa => Java Full Stack Developer (Angular2+ experience) <=
- 2025-04-14 Warszawa => Java Full Stack Developer (Angular2+) <=
- 2025-04-14 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-04-14 Kraków => NMS System Administrator <=
- 2025-04-14 Kraków => NMS System Administrator <=
- 2025-04-14 Zielona Góra => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, P
- 2025-04-14 Warszawa => Fullstack PHP Developer <=
- 2025-04-14 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-04-14 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-04-12 Katowice => Key Account Manager (ERP) <=