Lugha :
SWEWE Mwanachama :Login |Usajili
Kutafuta
Encyclopedia jamii |Encyclopedia Majibu |Kuwasilisha swali |Msamiati Maarifa |Weka maarifa
maswali :Dhana ya hisabati
Mgeni (41.75.*.*)
Jamii :[Sayansi][Nyingine]
Nina kujibu [Mgeni (34.239.*.*) | Login ]

Picha :
Aina :[|jpg|gif|jpeg|png|] Byte :[<2000KB]
Lugha :
| Angalia code :
Wote majibu [ 1 ]
[Mgeni (58.214.*.*)]majibu [Kichina ]Wakati :2020-10-27
Aristotle alifafanua hisabati kama "hesabu ya upimaji. Ufafanuzi huu haukuwa hadi karne ya 18. Tangu karne ya 19, utafiti wa hesabu umekuwa mkali zaidi na umeanza kuhusisha mada dhahania kama nadharia ya kikundi na jiometri ya makadirio ambayo hayana uhusiano wazi na wingi na kipimo. Wataalamu wa hisabati na wanafalsafa walianza kupendekeza ufafanuzi mpya mpya.Baadhi ya fasili hizi zilisisitiza hali ya upunguzaji wa hesabu nyingi, zingine zilisisitiza ujasusi wake, na zingine zilisisitiza mada kadhaa katika hisabati. Hakuna makubaliano juu ya ufafanuzi wa hisabati.Hakuna hata makubaliano juu ya ikiwa hesabu ni sanaa au sayansi.Wataalam wengi wa hisabati hawapendezwi na ufafanuzi wa hisabati au wanafikiria kuwa haiwezi kuelezewa. Wengine wanasema tu, "Hisabati hufanywa na wanahisabati. . "..
Aina kuu tatu zilizofafanuliwa na hisabati huitwa logicians, intuitionists, na wanasheria, na kila moja inaonyesha shule tofauti ya fikra ya falsafa. Kuna shida kubwa, hakuna mtu anayeikubali kwa ujumla, na hakuna upatanisho unaonekana kutekelezeka.

Ufafanuzi wa mapema wa mantiki ya kihesabu ni Benjamin Peirce "sayansi ya kupata hitimisho muhimu" (1870). Katika Principia Mathematica, Bertrand Russell na Alfred North Whitehead walipendekeza mpango wa falsafa uitwao mantiki na kujaribu kudhibitisha kwamba dhana zote za hesabu, taarifa, na kanuni zinaweza kuelezewa na kudhibitishwa na mantiki ya mfano. Ufafanuzi wa kimantiki wa hisabati ni wa Russell "Hesabu zote ni mantiki ya mfano" (1903).
Ufafanuzi wa intuitionism, kutoka kwa mtaalam wa hesabu L.E.J. Brouwer, anatambua hisabati na hali fulani za kiakili. Mfano wa ufafanuzi wa intuitionistic ni "hisabati ni shughuli za akili zilizojengwa moja baada ya nyingine." Tabia ya intuitionism ni kwamba inakataa maoni kadhaa ya hesabu ambayo yanachukuliwa kuwa halali kulingana na ufafanuzi mwingine. Hasa, ingawa falsafa zingine za hesabu zinaruhusu vitu ambavyo vinaweza kudhibitishwa kuwapo, hata ikiwa haziwezi kujengwa, intuitionism inaruhusu tu vitu vya hisabati ambavyo vinaweza kujengwa kweli.
Ufafanuzi wa formalist hutumia alama zake na sheria za uendeshaji kuamua hisabati. Haskell Curry anafafanua tu hisabati kama "sayansi ya mifumo rasmi." Mfumo rasmi ni seti ya alama, au ishara, na kuna sheria zinazoelezea jinsi ishara zinajumuishwa kuwa fomula. Katika mfumo rasmi, neno axiom lina maana maalum, ambayo ni tofauti na maana ya kawaida ya "ukweli unaojidhihirisha". Katika mfumo rasmi, muhimili ni mchanganyiko wa ishara zilizomo katika mfumo rasmi, bila hitaji la kutumia sheria za mfumo kupata.
Kutafuta

版权申明 | 隐私权政策 | Hati miliki @2018 Dunia maarifa encyclopedic