Itinye n'ọkwa usoro

The usoro nke mgbakọ na mwepụ itinye n'ọkwa nwere ike-apụta na-enwe ọganihu. Ya mere, malite na kasị ala ozo, na-eme nnyocha na-enyemaka nke ezi uche dị na iche echiche na-akpụ akpụ na elu. Ọ bụla-akwanyere onwe nwoke bụ mgbe niile na-agbalịsi maka ọganihu na ikike nke iche echiche n'ụzọ ezi uche. Ọ bụ ya mere uwa kere inductive eche echiche.

Okwu ahụ bụ "itinye n'ọkwa" na-sụgharịa Russian n'aka nduzi, otú ahụ inductance a na-ewere Nchoputa nke kpọmkwem nwere na kwuru, nke na-enwetara site na-akpụ si akpan akpan na izugbe.

Otu ihe atụ e nwere ike na-eche echiche usiahautịn. Edebe ihe a onu maka ọtụtụ ụbọchị a n'usoro, ọ nwere ike kwuru na na n'ebe ọwụwa anyanwụ anyanwụ ga-ebili na echi na ụbọchị mgbe echi, wdg

Inductive ubiere bụ ọtụtụ ebe ada na etinyere na ibuo sayensị. Ya mere, na-enyemaka nke ha Anyị nwere ike ichepụta ndokwa na ndabere nke nke a na-ama na iji deductive usoro n'ihu ubiere ike mmasị. Mụ na ụfọdụ ndị obi ike na anyị nwere ike na-ekwu na "atọ ogidi" nke usoro iwu na-arụzi ụgbọala - Newton iwu nke ngagharị - bụ onwe ha n'ihi nke onwe nwere na N'ịchịkọta ngụkọta. Na Kepler iwu nke mbara ngagharị e tinyere ha na-adabere na nke ogologo oge kwuru nke T. Brahe, Danish-enyocha mbara igwe. Ọ bụ na okwu ikpe ndị a itinye n'ọkwa keere òkè dị mma dokwuo anya na ichikota echiche mere.

N'agbanyeghị ndọtị nke ya ojiji nke usoro nke mgbakọ na mwepụ itinye n'ọkwa, dị mwute ikwu, ọ na-ewe obere oge na n'ụlọ akwụkwọ. Otú ọ dị, n'ụwa taa, ọ bụ a na nwata kwesịrị ịkụziri na-eto eto na-eche echiche inductively, ọ bụghị naanị na-edozi nsogbu a akpan akpan ụkpụrụ, ma ọ bụ a gaghị agara usoro.

itinye n'ọkwa usoro nwere ike n'ọtụtụ ebe etinyere na algebra, som na jiometrị. Ndị a na ngalaba a ga-rụrụ ihe àmà nke eziokwu nke a set nke nọmba, nke na-adabere na eke variables.

Ụkpụrụ nke itinye n'ọkwa dabeere àmà nke ndaba awade A (n) maka ihe niile ụkpụrụ nke na agbanwe na mejupụtara abụọ nzọụkwụ:

1. ezi ikpe A (n) e gosipụtara maka n = 1.

2. Ke edinam na ha amaghị na A (n) na-eme eziokwu maka n = k (k - a eke nọmba), ọ ga-abụ eziokwu maka ọzọ uru nke n = k + 1.

Nke a ụkpụrụ na na usoro nke n'ichepụta ute. itinye n'ọkwa. Ọtụtụ mgbe, ọ na-anabata ka ihe axiom na-akọwa a usoro nke nọmba, na a na-eji na-enweghị ihe àmà.

E nwere mgbe ụfọdụ usoro nke itinye n'ọkwa, mgbe ụfọdụ, n'okpuru àmà. N'ihi ya, na ihe banyere mgbe ọ na-achọrọ iji gosi ndaba nke chọrọ set A (n) niile integers n, ga-abụ:

- elele na eziokwu nke uru A (1);

- iji gosi eziokwu nke si A (k + 1) mgbe na-ewere n'ime akaụntụ eziokwu nke A (k).

Ọ bụrụ na nke a nke ọma àmà nke ndaba nke a amaghị na n'ihi na ihe ọ bụla nti integer k a ghọtara dị ka ezi ikele A (n) maka ihe niile ụkpụrụ nke n, dị na ụkpụrụ a.

The n'elu usoro mgbakọ na mwepụ itinye n'ọkwa na ọtụtụ-eji njirimara àmà, theorems, inequalities. Ọ nwekwara ike-eji n'idozi geometric ọdịdị nke ihe aga-eme na divisibility.

Otú ọ dị, anyị ekwesịghị iche na nke a na-agwụ na ojiji nke usoro nke itinye n'ọkwa na mgbakọ na mwepụ. Ka ihe atụ, ọ bụchaghị experimentally nyochaa niile theorems na-ezi uche ghọtara si axioms. Ma n'otu oge ndị a axioms nwere ekwe omume nke na-eme ka a ọnụ ọgụgụ buru ibu nke na-ekwu. Na na nhọrọ a na-atụ aro site na okwu na ojiji nke itinye n'ọkwa. Na usoro a, i nwere ike ịkọrọ ihe niile nke Theorem na mkpa sayensị na-eme, ma ọ bụghị nke ukwuu.