-
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
- 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...
- herbatka...
Najnowsze wątki
- 2024-09-14 Warszawa => Menadżer Okręgu <=
- 2024-09-14 Łódź => Spedytor Międzynarodowy <=
- 2024-09-14 Warszawa => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-09-14 Warszawa => Technical Leader (Java Background) <=
- 2024-09-14 Gdynia => Spedytor Międzynarodowy <=
- 2024-09-13 Warszawa => Spedytor Międzynarodowy <=
- 2024-09-13 Warszawa => Mid Account Manager <=
- 2024-09-13 Warszawa => QA Engineer <=
- 2024-09-13 Białystok => Frontend Developer (Angular area) <=
- 2024-09-13 Warszawa => QA Inżynier <=
- 2024-09-13 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-09-13 Zabrze => Projektant/Expert PHP Laravel (e-commerce) <=
- 2024-09-13 Białystok => Programista Full Stack (.Net Core) <=
- 2024-09-13 Gdańsk => Software .Net Developer <=
- 2024-09-13 Warszawa => Analityk Biznesowo-Systemowy <=