Função sucessora

Em matemática, a função sucessora ou operação sucessora é uma Função recursiva primitiva tal que para cada número natural . Por exemplo, e . Operações sucessoras são também conhecidas como zeração no contexto de zeroth hiperoperação: .

Visão geral

A função sucessora é usada nos axiomas de Peano que define os números naturais. Como tal, não é definida pela adição, mas é usada para definir todos os números naturais além do 0, assim como adição. Por exemplo, 1 é definido como sendo e a adição de números naturais é definido recursivamente por:

Isto produz, por exemplo,

Quando os números naturais são uma construídos baseados na teoria dos conjuntos, uma abordagem comum é definir o número 0 como o conjunto vazio {}, e o sucessor para ser . O axioma do infinito garante a existência de um conjunto que contém 0 e é um operador fechado em relação a , os membros de são chamados de números naturais.[1]

A função sucessora é a fundação nível-0 da hierarquia infinita de hiperoperações (usada para construir adição, multiplicação, exponenciação, tetração etc).

É também uma das funções primitivas utilizadas na caracterização da computação por funções recursivas.

Veja também

Referências

  1. Halmos, Capítulo 11

Bibliografia

  • Halmos, Paul R. (1968). Naive Set Theory. [S.l.]: Nostrand 
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Read other articles:

Campionati del mondo di atletica leggera 20039th IAAF World Championships in Athletics Competizione Campionati del mondo di atletica leggera Sport Atletica leggera Edizione IX Organizzatore IAAF Date 23 - 31 agosto Luogo Saint-Denis,  Francia Partecipanti 2 008 Nazioni 203 Discipline 46 (24 maschili + 22 femminili) Impianto/i Stade de France Sito web iaaf.org Statistiche Miglior nazione  Stati Uniti (8 / 7 / 1) Cronologia della competizione Edmonton 2001 Helsinki 2005 Man...

 

 

Hyattella hancocki Klasifikasi ilmiah Kerajaan: Animalia Upakerajaan: Parazoa Filum: Porifera Kelas: Demospongiae Ordo: Dictyoceratida Famili: Spongiidae Genus: Hyattella Spesies: Hyattella hancocki Hyattella hancocki adalah spesies spons yang tergolong dalam kelas Demospongiae. Spesies ini juga merupakan bagian dari genus Hyattella dan famili Spongiidae. Nama ilmiah spesies ini pertama kali diterbitkan pada tahun 1945 oleh Dickinson. Seperti spons pada umumnya, spesies ini memiliki tubuh ya...

 

 

Tekke Sufi di Blagaj. Blagaj adalah sebuah desa yang terletak di sebelah tenggara kota Mostar, Kanton Herzegovina-Neretva, Bosnia dan Herzegovina. Desa ini terletak di ujung dataran Bišće dan kemungkinan besar dinamai dari pola cuacanya yang sejuk, karena blaga dalam bahasa Serbo-Kroasia berarti sejuk.[1] Blagaj terletak di sumber air Sungai Buna dan dikenal sebagai tempat berdirinya sebuah tekija Dervish.[2] Tekija Blagaj dibangun sekitar tahun 1520 dengan gaya Utsmaniyah d...

Halaman ini berisi artikel tentang penyanyi Spanyol. Untuk penggunaan lain, lihat Salome (disambiguasi). Nama ini menggunakan cara penamaan Spanyol: nama keluarga pertama atau paternalnya adalah Marco dan nama keluarga kedua atau maternalnya adalah Poquet. SaloméNama lahirMaria Rosa Marco PoquetLahir21 Juni 1939 (umur 84)Barcelona, SpanyolPekerjaanPenyanyi Maria Rosa Marco Poquet (lahir 21 Juni 1939), yang lebih dikenal dengan nama panggungnya Salomé adalah seorang penyanyi asal B...

 

 

Iranian ski resort For the village in Sistan and Baluchestan Province, see Dizin, Sistan and Baluchestan. DizinDizin ski resortDizinLocation within IranLocationKaraj, IranCoordinates36°02′57″N 51°25′02″E / 36.04917°N 51.41722°E / 36.04917; 51.41722Top elevation3600m (11,811 ft)Base elevation2650m (8,694 ft)Skiable area469haTrails24[1]Lift system4 gondolas3 chairlifts9 Surface liftsSnowmakingNoNight skiingNoWebsitehttp://www.dizinskiresort.com D...

 

 

Subjek federal di Rusia Subjek federal di Rusia adalah 89 subjek yang terbagi atas 24 republik, 48 oblast, 9 krai, 3 kota federal, 4 okrug otonom, dan 1 oblast otonom. Republik Republik (bahasa Rusia: республики, tunggal республика; alihaksara huruf Latin:respubliki, tunggal respublika) adalah daerah otonom dengan hak untuk keluar dari federasi, masing-masing memiliki konstitusi sendiri, presiden dan parlemen; diwakili oleh pemerintah federal dalam hubungan luar negeri; da...

Former Single-Seater Racing Championship A Formula Asia 2000 race. Formula Asia, also known as Asian Formula 2000, was a class of open wheel formula racing. The formula used an Argo chassis coupled with a 16-valve Ford Zetec 1,800cc engine. There was only one championship held in Asia from 1994 until 2002, organized and promoted by Motorsport Asia Ltd. It was established to assist young Asian drivers make the transition from karting to European formulae such as Formula Ford and Formula Renaul...

 

 

Ovid Metamorphoses – Combe changing to the bird, engraving, ca. 1700 In Greek mythology, Combe (Ancient Greek: Κόμβη) was a daughter of the river god Asopus. Greek deitiesseries Primordial deities Titans and Olympians Water deities Chthonic deities Personified concepts Nymphs Alseid Anthousai Auloniad Aurae Crinaeae Daphnaie Dryads Eleionomae Epimeliads Hamadryads Hesperides Hyades Lampads Leimakids Leuce Limnades Meliae Melinoë Minthe Naiads Napaeae Nephele Nereids Oceanids Oreads Pe...

 

 

Former US Naval Air Station in Alameda, California Naval Air Station AlamedaNimitz FieldAlameda, California in the United StatesAn A-7 Corsair II gate guardian at the former NAS Alameda during 2006AlamedaLocation in the United StatesCoordinates37°47′10″N 122°19′07″W / 37.78611°N 122.31861°W / 37.78611; -122.31861TypeNaval air stationSite informationOwnerDepartment of DefenseOperatorU.S. NavyConditionClosedSite historyBuilt1927 (as Alameda Airport)In...

American baseball player Baseball player Jerome WaltonWalton in 1988Center fielderBorn: (1965-07-08) July 8, 1965 (age 58)Newnan, Georgia, U.S.Batted: RightThrew: RightMLB debutApril 4, 1989, for the Chicago CubsLast MLB appearanceMay 6, 1998, for the Tampa Bay Devil RaysMLB statisticsBatting average.269Home runs25Runs batted in132 Teams Chicago Cubs (1989–1992) California Angels (1993) Cincinnati Reds (1994–1995) Atlanta Braves (1996) Baltimore Orioles ...

 

 

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年4月) コルクを打ち抜いて作った瓶の栓 コルク(木栓、�...

 

 

2011 compilation album by various artistsAHK-toong BAY-bi CoveredCompilation album by various artistsReleased25 October 2011 (2011-10-25)GenreRockLength59:25Label Mercury Interscope Universal AHK-toong BAY-bi Covered, stylized as (Ăhk-to͝ong Ba͞y-bi) Covered or (Ăℎk-to͝ong Ba͞y-bi) Covered, is a tribute album featuring cover versions of the 12 songs from U2's 1991 record Achtung Baby. It was released on 25 October 2011 as a pack-in CD with the December 2011...

Азиатский барсук Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:СинапсидыКласс:Мле�...

 

 

Ongoing anti-discrimination lawsuit California Department of Fair Employment and Housing v. Activision BlizzardCourtLos Angeles County Superior CourtFull case nameCalifornia Department of Fair Employment and Housing v. Activision Blizzard California Department of Fair Employment and Housing v. Activision Blizzard is a current lawsuit filed by the California Department of Fair Employment and Housing (DFEH), now the Civil Rights Department (CRD) against video game developer Activision Blizzard ...

 

 

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Auxiliary Forces – news · newspapers · books · scholar · JSTOR (August 2022) (Learn how and when to remove this message) Auxiliary Forcesالقوات المساعدةⵉⴷⵡⴰⵙⴻⵏ ⵉⵎⴰⵡⵡⴰⵙⴻⵏMottoGod, Homeland, KingFounded1 July 1946Ser...

44th United States presidential inauguration Presidential inauguration ofJohn F. KennedyDateJanuary 20, 1961; 63 years ago (1961-01-20)LocationUnited States Capitol,Washington, D.C.Organized byJoint Congressional Committee on Inaugural CeremoniesParticipantsJohn F. Kennedy35th president of the United States— Assuming officeEarl WarrenChief Justice of the United States— Administering oathLyndon B. Johnson37th vice president of the United States— Assuming officeSam Raybu...

 

 

Small island in Belize 17°41′45″N 88°2′33″W / 17.69583°N 88.04250°W / 17.69583; -88.04250 This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: Caye Chapel – news · newspapers · books · scholar · JSTOR (July 2009) (Learn how and when to remove this message) Caye Chapel from the air Caye Chapel is a small, private island in ...

 

 

Solar thermal energy Solar thermal enhanced oil recovery (abbreviated solar EOR) is a form of thermal enhanced oil recovery (EOR), a technique applied by oil producers to extract more oil from maturing oil fields. Solar EOR uses solar thermal arrays to concentrate the sun's energy to heat water and generate steam. The steam is injected into an oil reservoir to reduce the viscosity, or thin, heavy crude thus facilitating its flow to the surface. Thermal recovery processes, also known as steam ...

Public vote for the Republic of Korea's chief executive 2022 South Korean presidential election ← 2017 9 March 2022 (2022-03-09) 2027 → Opinion pollsRegistered44,197,692Turnout77.08% (0.15pp)[1]   Nominee Yoon Suk Yeol Lee Jae-myung Party People Power Democratic Popular vote 16,394,815 16,147,738 Percentage 48.56% 47.83% Results by municipal-level division Results by provincial-level division President before election Moon Jae-in Dem...

 

 

透明度(とうめいど、transparency)とは、主に海洋や湖沼や水泳用プールなどで水の清濁を表現するために使用される指標である。透明度が高い水ほど、水が澄んでいて可視光をよく透過することを意味する。ただし、仮に有害物質が混入していたとしても透明度が下がるとは限らないので、透明度が高いからと言って必ず水が清浄であるとは限らない。 なお、水の他に�...