
brouver-heating-kolmogorov vivarana

ganita tarkamlo, antar drushti tarkam yokka brouver-heating-kolmogorov vivarana ledhaa bihechke vivarananu ell pratipaadinchaaru. ii. zhe. brouver mariyu arnd hating, mariyu swatantramgaa andree kolmogorov. steffen clean yokka vaastavikata siddhaantamtoe sambandham unnanduna dheenini konnisaarlu vaastavikata vivarana anie kooda pilustaaru. idhi antar drushti tarkam yokka praamaanika vivarana.
vivarana.
icchina suutraaniki rujuvugaa undataaniki uddesinchinadi emito vivarana perkontundi. aaa suutram yokka nirmaanampai prerana dwara idhi perkonabadindihi
aadima pratipaadana yokka vivarana sandarbham nundi telusukovali. ankaganitam sandarbhamlo, suutram yokka rujuvu _ 35 anedi rendu padaalanu oke sankhyaku tagginche ganana.
kolmogorov adhe panktulanu anusarinchaadu, conny samasyalu mariyu parishkarala paramgaa thana vivarananu roopondinchaadu. oka suutraanni nokkicheppadam antey aaa suutram dwara suuchimchabadina samasyaku parishkaram telusani cheppukovadam. udaaharanaku formula _ 14 anedi formula _ 6 nuu formula _ 4 kii tagginche samasya; dheenini parishkarinchadaaniki samasya suutram _ 6 nuu parishkarinchadaaniki oka paddhati avasaram, samasya suutram _ 4 kii parishkaram ivvabadindi.
udaaharanalu.
p" antey emito, identity function anedi formula _ 41kii rujuvu.
naan-contradiction suutram yokka chattam _ 42 suutram _ 43kii vistaristundihi
veetannintinee kalipi, suutram _ 43 yokka rujuvu anedi oka jatha <"a", "b"> nuu marche suutram _ 15, ikkada suutram _ 3 anedi "p" yokka rujuvu, mariyu suutram _ 5 anedi "p" yokka rujuvunu suutram _ 33 yokka rujuvugaa marche vidhi-suutram _ 33 yokka rujuvu.
dheenini chese oka function formula _ 15 undhi, ikkada formula _ 61, "p" emainappatiki, naan-contradiction niyamanni rujuvu chestundi.
nijaaniki, adhe aalochanaa vidhanam suutram _ 62kii kooda rujuvunu andistundi, ikkada suutram _ 6 edainaa pratipaadana.
marovaipu, minahaayinchabadina madhya suutram _ 64 suutram _ 65kii vistaristundi, mariyu saadhaaranamgaa dheeniki etuvanti rujuvu undadu. vivarana prakaram, suutram _ 64 yokka rujuvu oka jatha <a, "b"> ikkada "a" anedi 0 mariyu "b" anedi "p" yokka rujuvu, ledhaa "a" anedi 1 mariyu "b" anedi suutram _ 30 yokka rujuvu. anduvalla "p" ledhaa suutram _ 30 niroopinchalenidi ayithe suutram _ 64 kaadu.
asambaddhata yokka nirvachanam.
suutram _ 4 yokka rujuvu lenappudu "kaadu" suutram _ 4 yokka rujuvu unnatlugaa oka taarkika vyavasthaku saadhaaranamgaa adhikaarika niraakarana operator undatam saadhyam kaadu; godel yokka asampuurnata siddhaantaalanu chudandi. daaniki badulugaa bihechke vivarana "nott" suutram-4 nuu teesukuntundi, antey suutram-4 asambaddhataku daariteestundi, niyaminchabadina suutram-33, tadwara suutram-75 yokka rujuvu anedi suutram-4 yokka rujuvunu asambaddhata rujuvugaa marche function.
asambaddhataku praamaanika udaaharana ankaganitamto vyavaharinchadamlo kanipistundi. 0 = 1 anie anukundam, mariyu ganita prerana dwara munduku sagandi 0 = 0 samaanatvam yokka suutram dwara. ippudu (induction hypothesis), 0 anedi oka nirdishta sahaja sankhya "n" kii samanamga unte, appudu 1 anedi "n" + 1kii samanamga untundi, (peeno suutramh "m" = "n" ayithe matrame "sm" = sn "), conny 0 = 1 ayinanduna, 0 kooda" n "+ 1kii samanamga untundi. prerana dwara, 0 anedi anni sankhyalaku samanam, anduvalla edainaa rendu sahaja sankhyalu samanamga maarataayi.
anduvalla, 0 = 1 rujuvu nundi edainaa praathamika ankaganita samaanatvaaniki rujuvuku velladaaniki oka maargam undhi, tadwara edainaa sanklishta ankaganita pratipaadanaku rujuvuku velladaaniki oka maargam undhi. inca, eee phalitaanni pondadaaniki 0 anedi yea sahaja sankhyaku varasudu kaadani perkone peeno suutraanni prerepinchaalsina avasaram ledhu. idhi 0 = 1 nuu hating ankaganitamlo suutram _ 33 gaa anukuulamgaa chestundi (mariyu peeno suutram 0 = s "n" → 0 = s0 gaa tirigi vraayabadutundi). 0 = 1 yokka eee upayogam paeludu suutraanni dhruveekaristundi.
function yokka nirvachanam.
oka rujuvunu marokadaaniki marche "function" gurinchi teesukunna drukpathampai ledhaa domine yokka oka muulakaanni rujuvugaa marche drukpathampai bihechke vivarana aadharapadi untundi. nirmaanaatmakata yokka vividha samskaranalu eee amsampai vibhedistaayi.
clean yokka vaastavikata siddhaantam ganinchadagina vidhulatho vidhulanu gurtistundi. idhi hating ankaganitamto vyavaharistundi, ikkada parimaanam yokka domine sahaja sankhyalu mariyu aadima pratipaadanalu "x" = "y" roopamlo untaayi. x" = "y" yokka rujuvu kevalam "x" anedi "y" chese adhe sankhyaku moolyaankanam chesthe (idhi sahaja sankhyalaku ellappuduu nirnayinchadaginadi), lekapothe etuvanti rujuvu undadu. ivi marinta sanklishtamaina algorithamlaloki prerana dwara nirminchabadataayi.
lambda calculusnu oka function yokka bhavananu nirvachinchetlugaa teesukunte, appudu bihechke vivarana sahaja taggimpu mariyu functionla madhya sambandhaanni vivaristundi.

