Wszyscy otrzymujący spam od Heliona zostali uraczeni zaproszeniem do ich nowego serwisu. Samego serwisu sprawdzać nie zamierzam… Jednak żal (…) serce ściska na widok tematu wiadomości:

9fingers :: bo programisci licza od 0…

Tak, programiści liczą od 0. Ba, jako matematyk nie wyobrażam sobie rozsądnej teoriomnogościowej definicji liczb naturalnych nie zaczynającej od zera. Co nie zmienia faktu, że z obu punktów widzenia temat trzeba by zinterpretować tak:

9fingers :: bo drwale też mogą programować

Komentarze

  • Matthew (2010-01-16 12:03:37):

    9fingers to chyba konkurencja (albo odwrotnie?) dla devPytania.pl. Czyli takie polskie odpowiedniki Stack Overflow.

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 12:13:20):

    A niech sobie będzie czym chce. Skoro już na początek witają nas swoim brakiem zrozumienia tematu o którym chcą prowadzić serwis, to po co tracić na nich czas?

  • Sigvatr (2010-01-16 12:47:42):

    Ten tytuł pewnie wymyślał jakiś marketingowiec, który o programistach wie tyle, co usłyszy w dowcipach. No trudno nazwa jak jest każdy widzi. Co ciekawe, całość prowadzi Helion, a ja tam widziałem pytania typu: "jaka jest dobra książka do <nazwa technologi, czy języka>", ciekawe jaka będzie odpowiedź, tzn, kto wydał polecaną książkę.

  • Dodek (2010-01-16 13:24:11):

    > Ba, jako matematyk nie wyobrażam sobie rozsądnej teoriomnogościowej definicji liczb naturalnych nie zaczynającej od zera.

    Eee, niektórzy zaczynają od 1.

  • Sigvatr (2010-01-16 13:24:45):

    > Eee, niektórzy zaczynają od 1.

    Jeszcze są programiści Pascala :)

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:25:57):

    Możesz przybliżyć taką definicję? Ale według klasycznej teorii mnogości i żeby była rozsądna. Bo że w rachunku lambda można by równie dobrze za pierwszą liczbę naturalną uznać ,,zielony”, to wiem ;)

  • Dodek (2010-01-16 13:30:53):

    1 jest pierwszą liczbą naturalną.
    Dla każdej liczby naturalnej istnieje dokładnie jedna liczba, którą nazywamy następnikiem.
    1 nie jest następnikiem żadnej liczby.
    Dwie liczby naturalne są równe jeżeli mają równe następniki.
    Jeżeli mamy zbiór o następujących własnościach:
    - 1 należy do tego zbioru
    - jeżeli liczba należy do tego zbioru, to należy do niego również jej następnik
    to wszystkie liczby naturalne należą do tego zbioru.

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:31:14):

    Przez równie dobrze oczywiście mam na myśli moje subiektywne odczucia. W każdym razie dopiero rachunek lambda uzmysłowił mi jak bardzo intuicyjna jest klasyczna teoria mnogości ;)

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:36:07):

    Dodek: pięknie, ale wprowadzasz aksjomatyczną liczbę jeden, tak? Czy też traktujesz ją jako zbiór z aksjomatu ,,istnieje jakiś zbiór”? Bo jeśli to drugie, to sypie mi się semantyka (brakuje zbioru pustego). A wprowadzanie aksjomatów w definicji wydaje mi się niezbyt eleganckie.

  • Dodek (2010-01-16 13:38:16):

    Nie, to jest aksjomatyka (dokładniej aksjomatyka Peano). Jest masa modeli tych aksjomatów, poczytaj nawet na wikipedii.

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:44:55):

    No fajnie, ale mi chodziło o definicję startującą od bardziej podstawowych aksjomów. Ze zdefiniowaną funkcją następnika. Peano nie wchodził w takie szczegóły.

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:47:16):

    Choć w sumie racja, można zacząć definiować od singletona zera i udawać, że zero nie istnieje. Można w sumie poprawnie zdefiniować od dowolnej liczby, tylko semantyka będzie jęczeć.

  • Dodek (2010-01-16 13:48:34):

    Ale to jest bardzo dobra definicja :) Zresztą, co to są "bardziej podstawowe aksjomaty"? Tobie chyba chodzi o model

    • takim modelem w ZF na przykład jest

      1 - zbiór pusty

      S(n) - n suma {n}

      W rachunku lambda modelem są np. Church numerals, itp.

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:51:08):

    Dokładnie o to mi chodzi. Tylko stwierdzenie, że ,,jeden to nic” niezbyt mi się podoba.

  • Dodek (2010-01-16 13:52:08):

    Heh, a co to w ogóle znaczy "jeden" w aksjomatyce Peano? :) Równie dobrze można powiedzieć "twojastara jest liczbą naturalną. twojastara nie jest następnikiem żadnej liczby naturalnej" ;)

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-16 13:54:38):

    O, pierwszy w historii zysk z dyskusji nad semantyką: przynajmniej się uśmiałem :)

    Jaki jest następnik ,,twojastara”?

  • Dodek (2010-01-16 13:55:30):

    jeżeli S: N -> N jest operacją następnika, to rzecz jasna następnikiem twojastara jest S(twojastara) :)

  • D4rky (niezalog.) (2010-01-16 16:18:52):

    Szczerze wam dziękuję chłopaki, przez chwilę poczułem się jak na dawnym Joggerze 3-4 lata temu :’D

  • Remigiusz ‘lRem’ Modrzejewski (2010-01-17 00:36:44):

    D4rky, nie ma za co. O ile mi interrurki dopiszą to pewnie będę teraz dużo marudził… Jeśli nie dopiszą, to będę marudził jeszcze więcej, tylko nie dotrze to tutaj :(