-
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
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Francja: "Za mało pracujemy, za dużo wydajemy" - a pierwsi chcieli pracować 4/7 !!!
- 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.
Najnowsze wątki
- 2025-04-21 Gdańsk => Team Lead Data Engineer (Snowflake) <=
- 2025-04-21 Warszawa => Key Account Manager (Usługi HR) <=
- 2025-04-21 Wrocław => Key Account Manager (ERP) <=
- 2025-04-21 Warszawa => Key Account Manager IT <=
- 2025-04-21 Białystok => Team Lead Data Engineer (obszar Snowflake) <=
- 2025-04-21 Zielona Góra => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, P
- 2025-04-21 Kraków => NMS System Administrator <=
- 2025-04-21 Kraków => NMS System Administrator <=
- 2025-04-21 Warszawa => Node.js / Fullstack Developer <=
- 2025-04-21 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-04-21 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-04-21 Warszawa => Spedytor Międzynarodowy <=
- 2025-04-21 Dęblin => JavaScript / Node / Fullstack Developer <=
- 2025-04-18 Warszawa => International Freight Forwarder <=
- 2025-04-18 Lublin => JavaScript / Node / Fullstack Developer <=