Hanyar ilimin lissafi

Hanyar hanyar shigar da ilmin lissafi za a iya daidaita shi don cigaba. Saboda haka, fara daga mafi ƙasƙanci matakin, da masu bincike da taimakon ma'ana tunani motsi zuwa mafi girma. Duk wani mutum mai girmama kansa yana ƙoƙarin ci gaba da kuma iya yin tunani a hankali. Abin da ya sa aka halicci tunani mai zurfi ta yanayi.

Kalmar "shigarwa" a cikin fassarar zuwa cikin Rasha shine jagora, sabili da haka ana la'akari da saɓin cewa ƙarshen ya dogara ne akan sakamakon gwaje-gwajen da kuma lura, wanda aka samo ta hanyar haɓaka daga musamman zuwa ga kowa.

Misali shi ne kallon hasken rana. Bayan yin la'akari da wannan lamari na kwanaki da dama a jere, zamu iya cewa daga gabas rana zai tashi gobe, da rana bayan gobe, da dai sauransu.

Ana amfani da ƙayyadaddun maganganu da kuma amfani da su a cikin kimiyyar gwaji. Saboda haka, tare da taimakon su ba za mu iya kirkiro guzuri a kan tushen da wanda aka riga ta amfani da deductive Hanyar kara karshe za a iya kõma. Tare da tabbacin cewa za a iya jaddada cewa "ƙananan jiragen ruwa uku" na masana'antu-ka'idoji na motsin Newton-su ne sakamakon sakamakon aiwatar da gwaje-gwajen musamman tare da ƙaddamar da jimlar. Dokar Kepler a kan motsi na taurari ya samo shi ne bisa la'akari da shekaru masu yawa na lura da T. Braga, wani dan astronomer Danish. A cikin wadannan sharuɗɗa cewa induction ya taka muhimmiyar rawa wajen sakewa da kuma fadakar da zaton da aka yi.

Duk da fadada filin da aikace-aikacensa, hanyar hanyar ilimin lissafi, da rashin alheri, yana da ɗan lokaci a cikin tsarin makarantar. Duk da haka, a zamanin duniyar nan tun daga yara ya zama wajibi ne don horar da ƙananan tsara don yin tunani a hankali, kuma ba kawai don magance matsaloli bisa ga wani tsari ko wata hanya ba.

Hanyar hanyar shigar da ilmin lissafi za a iya amfani dashi a cikin algebra, lissafi da lissafi. A wa annan sassan, wajibi ne a tabbatar da gaskiyar saiti na lambobi dangane da ƙwayoyin halitta.

Ka'idar ilimin lissafin ilmin lissafi yana dogara ne akan tabbatar da gaskiyar kalmar A (n) ga kowane dabi'u mai ma'ana kuma ya ƙunshi matakai biyu:

1. Gaskiyar da aka yi A (n) an tabbatar da ita don n = 1.

2. A cikin akwati inda kalmar A (n) ta kasance tabbatacciya ga n = k (k lamba ne na ainihi), zai zama gaskiya ga ƙimar da ke gaba n = k + 1.

Wannan ka'idodin yana kuma nuna hanya ta mat. Ƙoƙuwa. Sau da yawa an yarda da shi azaman abin da yake fassara lambobi, kuma ana amfani da ita ba tare da shaidar ba.

Akwai lokuta idan hanyar hanyar ilimin lissafi ya kasance a wasu lokuta batun hujja. Saboda haka, a lokuta idan ana buƙatar tabbatar da gaskiyar abin da aka ƙaddara A (n) ga dukan lambobin halitta n, yana da muhimmanci:

- duba gaskiyar A (1);

- don tabbatar da gaskiyar sanarwa A (k + 1) lokacin la'akari da gaskiyar A (k).

A hali da ta yi nasara hujja na da inganci na wannan tsari ga wani m lamba k aka gane a matsayin gaskiya karo A (n) ga dukan dabi'u na n, daidai da wannan manufa.

Hanyar da ake amfani da shi ta hanyar amfani da ilmin lissafi yana amfani dasu a cikin hujjoji na ainihi, ƙididdiga, rashin daidaito. Ana iya amfani da ita wajen magance matsalolin geometrical da divisibility.

Duk da haka, kada mutum yayi la'akari da cewa wannan ya ƙare amfani da hanyar shigarwa a cikin ilmin lissafi. Alal misali, ba lallai ba ne don gwada gwaje-gwajen duk abubuwan da aka samo asali daga gado. Duk da haka, yana yiwuwa a tsara babban adadin maganganun daga waɗannan axioms. Kuma ita ce zabi na maganganun da aka sanya ta amfani da shigarwa. Tare da taimakon wannan hanya, yana yiwuwa a rarraba dukkanin ka'idoji don zama dole don kimiyya da aiki kuma ba sosai ba.