-
Data: 2005-07-24 11:18:34
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:dbvj5h$883$1@inews.gazeta.pl...
> On 7/23/2005 11:34 PM, Immona wrote:
>>
>>
>>>
>>> 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?
>
> Cóż, trzymajmy się formuły, że Ty rzucasz mądrymi nazwiskami, a ja
> posługuję się analogiami i kontrprzykładami. Czy z faktu ("ad hoc teza
> Mariusza-Churcha-Turinga"), że wszystko, co da się powiedzieć w dowolnym
> języku, da się powiedzieć również po polsku, wynika, że lingwistyka jest
> nauką o języku polskim?
Lingwistyka nie zajmuje sie jezykiem polskim, tylko wszystkimi jezykami. Do
tego nie kazdy jezyk nadaje sie do wyrazenia wszystkiego - mowi o tym tzw.
formalna lingwistyka. Podobnie informatyka zajmuje sie wszystkimi postaciami
programow, a nie tylko jedna konkretna.
>
>> Specyfikacja to teza, a program jest dowodem tej tezy (izomorfizm
>> Curriego-Howarda). (Stosuje sie to raczej do matematki konstruktywnej, a
>> nie niekonstruktywnej (klasycznej)).
>>
>
> Moim zdaniem najdoskonalsze algorytmy/programy zawiera książka kucharska.
> Czy sztukę kucharską też nazwiesz nauką o programach?
>
Nie. Przepisy kucharskie, choc sa programami, nie sa interesujace jako
programy (pod wzgledem algorytmicznym) i dlatego informatyka sie nimi nie
zajmuje. Tak samo nie zajmuje sie nimi lingwistyka, choc sa napisane w
jakims jezyku ani fizyka, choc to, co sie dzieje w garnku, jest
podporzadkowane prawom fizyki.
I.
Następne wpisy z tego wątku
- 24.07.05 11:24 Immona
- 24.07.05 11:24 futszaK
- 24.07.05 11:45 futszaK
- 24.07.05 11:57 futszaK
- 24.07.05 12:11 Jarek Hirny
- 24.07.05 12:16 Jarek Hirny
- 24.07.05 15:06 Przemysław Maciuszko
- 24.07.05 15:42 Tomasz Bednarczuk
- 24.07.05 15:47 Piotr
- 24.07.05 16:37 futszaK
- 24.07.05 17:06 Piotr
- 24.07.05 17:21 Aleksander Galicki
- 24.07.05 17:49 Piotr
- 24.07.05 18:13 Przemysław Maciuszko
- 24.07.05 18:32 Aleksander Galicki
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) <=