Iru imo. Mathematical yii. ijinle sayensi imo

Bawo ni eyikeyi imo le ri ki o si gbọ awọn igbalode eniyan! Ati awọn ti wọn le jẹ gidigidi orisirisi awọn itọnisọna. Ki o si yi ni ko yanilenu, nitori nibẹ ni o wa yatọ si orisi ti imo. Eleyi jẹ nitori si ni otitọ wipe ni ibere lati ṣẹda wọn lilo yatọ si yonuso, ati awọn ti won ti wa Eleto ni orisirisi ise ti awọn eniyan awujo. Nítorí náà, nibẹ ni a oselu yii, mathematiki, aje, awujo. Ṣugbọn jẹ ki ká gbogbo ya a jo wo.

gbogbo alaye

Awọn ogbon ti Imọ ọrọ "yii" le ti wa ni gbọye ni meji akọkọ ọna: dín ati jakejado. Ni igba akọkọ ti awọn ti awọn wọnyi ntokasi si ga fọọmu ti agbari ti imo, eyi ti yoo fun a gbo view lori substantive linkages ati awọn elo ni kan pato agbegbe ti otito. Ni idi eyi, fun a ijinle sayensi yii ni o wa ti iwa ti awọn aye ti a eto ti isokan, awọn mogbonwa ibasepọ laarin awọn eroja, hatchability ti awọn oniwe-akoonu lati kan pato ti ṣeto ti agbekale ati propositions (sugbon yi o yẹ ki o wa ni ṣe gẹgẹ bi awọn mogbonwa ati ki o methodological ofin). Ti o ni gbogbo ki o si organizes awọn ipilẹ yii. Ati ohun ti jẹ labẹ o ti wa ni gbọye ni awọn broadest ori ti awọn ọrọ?

Yii ti Imọ ninu apere yi ni a ti ṣeto ti ero, wiwo ati ero, eyi ti a ti pinnu lati túmọ awọn iṣẹlẹ (tabi ẹgbẹ ti iru awọn iṣẹlẹ). Ti o ko ba ri ohunkohun yanilenu? Ti o ba ro nipa o, ninu apere yi, fere gbogbo eniyan ni o ni ara wọn imo. Idajo fun o jẹ tọ wipe wipe fun julọ apakan ti won jẹ ti Ayika ti igbesi oroinuokan. Ọpẹ si wọn eniyan arranges rẹ agutan ti idajo, ire, ife ati awọn itumo ti aye, iwa ajosepo, post-mortem aye, ati bi.

Kí nìdí yii?

Wọn ti dijo a irú ti methodological "ẹyin" ti ijinle sayensi imo. Igbalode yii ni awọn wa ìmọ ati awọn ilana nipa eyi ti o ti gba ati ki o safihan. Ti o ni, o ni o ni awọn ipilẹ "ile" awọn ohun elo ti - imo. Wọn ti wa ni ti sopọ si kọọkan miiran idajọ. Tẹlẹ wọn, gẹgẹ bi ofin ti kannaa, ṣe inferences.

Ko si ohun ti iru imo ti wa ni kà ni won mimọ gbọdọ ma wa ni ọkan tabi paapa kan diẹ ero (idawọle) ti o pese awọn solusan si kan pato isoro (tabi koda wọn gbogbo eka). Ti o ni, ni ibere lati wa ni a npe kan ni kikun-fledged Imọ, jẹ to lati ni nikan kan daradara-ni idagbasoke yii. Bi apẹẹrẹ geometry.

Ṣe o rorun lati ni oye yii?

Lati bẹrẹ pẹlu a ki yio ye awọn agbekale inferences, isoro ati idawọle. Nwọn le igba dada sinu kan nikan gbolohun ọrọ. Fun yii ti kanna ti o jẹ fere soro. Nítorí, lati se alaye ki o si da awọn oniwe-igba ani kọ gbogbo iṣẹ. O ti wa ni to lati lo bi awọn ohun apẹẹrẹ yii ti gbogbo gravitation ti Newton gbekale. Fun awọn oniwe-iwadi ti o kowe kan Ogunl ise ni 1987, eyi ti o ti a npe ni "Mathematical Agbekale of Natural Imoye". Kikọ o si mu u siwaju sii ju 20 years. Sugbon eyi ko tunmọ si wipe awọn ipilẹ yii jẹ ki eka wipe ti won ko le ni oye awọn arinrin ilu.

Nipataki ti o yẹ ki o wa woye wipe yii le wa ni nisoki ni orisirisi awọn sikematiki (ati, lẹsẹsẹ, fisinuirindigbindigbin) fọọmu. Yi ona pese ti yoo gba jade ninu gbogbo awọn kekere, unimportant, ati igba ya jade ti awọn biraketi lare ariyanjiyan ati ni atilẹyin eri. Ni afikun, bi sísọ sẹyìn, kọọkan eniyan ni atorunwa lati kọ ara wọn imo, eyi ti o wa a akopọ ti ara rẹ iriri ati awọn oniwe-onínọmbà. Nitorina, ti o ba fẹ lati mọ aisan yoo complicate ati ki o nigbagbogbo ošišẹ ti awọn iṣẹ-ṣiṣe.

orisi ti imo

Wọn ti wa ni niya lori igba ti won be, eyi ti o ni Tan wa ni da lori awọn ọna ti ko o tumq si imo. Allocate awon orisi ti imo:

• Axiomatic.
• Inductive.
• Pẹnrẹn-deductive.

Fun kọọkan ti wọn nlo awọn oniwe-ara database, eyi ti o ti gbekalẹ ninu awọn fọọmu ti meta o yatọ si yonuso si.

axiomatic yii

Iru imo ti wa ni idasilẹ ni Imọ niwon awọn ọjọ ti antiquity. Wọn ti wa ni awọn personification ti rigor ati konge ti sayensi imo. Awọn julọ olokiki asoju ti yi iru ni a mathematiki yii. Bi apẹẹrẹ formatizirovannuyu isiro. Ni afikun si o, akude akiyesi ti tun a ti fi lodo kannaa ati diẹ ninu awọn ẹka ti fisiksi (thermodynamics, electrodynamics ati awọn oye). A Ayebaye apẹẹrẹ ti idi eyi ni awọn Euclidean geometry. To o ti wa ni igba mu ko nikan imo, sugbon tun bi apẹẹrẹ ti ijinle sayensi asìnpa ni. Ohun ti o jẹ pataki ninu awọn ilana ti yi ni irú?

Nibi, awọn julọ awon ni o wa mẹta irinše: awọn postulates (axiom), awọn han iye (Theorem) ati eri (awọn ofin, ipinnu). Niwon lẹhinna, awọn search engine ati oniru solusan le significantly yi. A paapa bisi i ni yi iyi wà ni 20 orundun. Ki o si ni idagbasoke bi a titun ona ati ki o kan yeke ipele ti imo (ni yii ti iṣeeṣe le ti wa ni fun bi apẹẹrẹ). Ti won tesiwaju lati ṣe ọnà ki o si kọ ọtun bayi, sugbon ki jina nibẹ ni ohunkohun ti o le jẹ bosipo tan ayé wa.

inductive yii

O ti gbà wipe won ko ba ko tẹlẹ ninu funfun fọọmu, nitori ti o ko ni pese apodictic ati logically ohun imo. Bayi, ọpọlọpọ wipe, ohun ti wa ni túmọ nipa awọn wọnyi inductive ọna. Ti iwa ti won ti wa ni nipataki fun awọn adayeba sáyẹnsì. Ipo yìí ti ni idagbasoke nitori si ni otitọ wipe eyi ni ibi ti o le bẹrẹ pẹlu awọn adanwo ati awọn mon, ati lati pari awọn tumq si generalizations.

Biotilejepe o ti wa ni mọ wipe kan diẹ sehin seyin inductive imo wà oyimbo gbajumo. Sugbon nitori ti awọn iwọn ti inawo lori imo ijinle sayensi delights ti won fi lori backburner. Lẹhin ti gbogbo, ro nipa bi o lati se agbekale yii ti iṣeeṣe, ti o ba a wá si rẹ wulo ọna! Inductive o wu maa bẹrẹ nipa gbeyewo o si wé awọn gba nigba ti ṣàdánwò tabi akiyesi data. Ti o ba ti won ri nkankan iru tabi wọpọ, ki o si ti won ti wa ṣakopọ bi a gbogbo si ipo.

Pẹnrẹn-deductive yii

Wọn ti wa ni pato si awọn adayeba sáyẹnsì. Awọn Eleda ti yi iru ti wa ni ka lati Galileo Galilei. Ni afikun, o tun gbe awọn ipilẹ ki o si esiperimenta Imọ. Paradà, nwọn si ti a ti lo laarin kan ti o tobi nọmba ti physicists, eyi ti contributed si adapo ti isiyi loruko. Won lodi ni wipe awọn awadi yoo siwaju bold akiyesi, otito ti eyi ti o jẹ uncertain. Ki o si awọn ilewq lilo awọn deductive ọna corollaries wa ni ti ari. Ilana yi tẹsiwaju titi, nigba ti o wa ni gba iru oro ki o le ti wa ni ibatan si pẹlu iriri. Ti o ba ti oniwadi HIV jerisi awọn oniwe-adequacy, o ti wa ni pari wipe awọn atilẹba ilewq wà ti o tọ.

Ohun ti irinše yẹ ki o ni a ijinle sayensi yii?

Nibẹ ni o wa ọpọlọpọ awọn Oriṣi. Lati yago fun iporuru, a ya bi a igba fun awọn ọkan ti o daba Shvyrov. Awọn wọnyi irinše rẹ ba wa ni dandan:

• Ni ibẹrẹ oniwadi igba. To wa ti wa ni gba silẹ soke si aaye yi mon ati imo, eyi ti won gba bi kan abajade ti adanwo ati ẹrọ beere.
• Ni ibẹrẹ o tumq si igba. Nipa yi ti wa ni túmọ a ọpọ ti jc axiom postulates ati awqn gbogbo ofin ti o collectively gba apejuwe idealized ohun ero.
• Kannaa. Eleyi ntokasi si awọn idasile ti a ilana fun awọn awari ati eri.
• A ti ṣeto ti gbólóhùn. Awọn wọnyi ni eri ti o ṣe soke awọn olopobobo ti awọn wa imo.

awọn lilo ti

O yẹ ki o wa woye wipe yii ni awọn igba fun awọn iwadi ti awọn nọmba kan ti lakọkọ, bi daradara bi orisirisi ise. Ati ti won le wa ni ṣe soke ni akoko kanna ati lori awọn ilowo iriri, ati lori ilana ti analitikali ero. Nitorina, nibẹ ni o wa, fun apẹẹrẹ, yatọ si orisi ti yii ti ofin. Jubẹlọ, o yẹ ki o wa woye wipe ọkan ati awọn kanna koko le ti wa ni apejuwe pẹlu kan orisirisi ipele, ati awọn oniwe-abuda, lẹsẹsẹ, yoo si yato.

Ni diẹ ninu awọn ibiti, o jẹ amenable to Standardization, bi evidenced nipa awọn orisi ti aje yii, ati ni nitori papa atoka titun awọn itọnisọna. Ṣugbọn, awọn nọmba kan ti ipese laarin wọn si tun attracts egeb criticize. Biotilejepe diẹ ninu awqn (ati ki o bajẹ ipilẹ ni Imọ) ma kan nilo lati accumulate kan awọn iye ti ìmọ. Ṣaaju ki o to won da eniyan yii ti Lamarck ati Darwin, ohun sanlalu classification ti oganisimu ti a waiye. Awọn iwadi ti awọn wọnyi awọn ẹya ara ẹrọ ti awọn itan ti Imọ. Bi afihan nipa yi ìbáwí, ni kikun idagbasoke ti yii (eyi ti o wa awọn oniwe-iyipada, isọdọtun, yewo ati ki extrapolation si titun agbegbe) lori akoko le ti wa ni nà ni ọkan orundun.

verity

Awọn pataki ti iwa fun eyikeyi yii ni awọn oniwe-ilowo ìmúdájú, eyi ti ipinnu ìyí ti awọn oniwe-Wiwulo. Nibi, fun apẹẹrẹ, a ni a definite oselu yii, eyi ti o sọ pé ni ipo yìí o gbodo sise bi yi ni diẹ ninu awọn ọna. Ba ti ko wulo lati jẹrisi tabi sẹ awọn oniwe-ndin, awọn ipinnu lori awọn oniwe-elo da pẹlu awọn eniyan, nigbanaa pelu aṣẹ.

Ati ninu awọn irú ibi ti o wa ni diẹ ninu awọn Wiwulo ni ibatan si o, o jẹ tẹlẹ ṣee ṣe lati iwadi awọn ti wa tẹlẹ iriri ati ki o ya ohun yẹ ipinnu lori boya lati wa ni tabi ko lati se o. Iṣẹ yi pese akude onínọmbà yii. Pẹlu awọn idagbasoke ọna laarin ti o le, nipa lilo awọn ijinle sayensi ọna lati ṣe iṣiro awọn iṣeeṣe ti aseyori imuse, bi daradara bi ibi kan lati iwari "farasin fadaka."