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 :(