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.
- takim modelem w ZF na przykład jest
- 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 :(