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.