-
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
- 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 <=