ગોડેલના અપૂર્ણતા પ્રમેય
ગોડેલના અપૂર્ણતા પ્રમેય
ગોડેલના અપૂર્ણતા પ્રમેય- ઔપચારિક અંકગણિતની મૂળભૂત મર્યાદાઓ વિશે ગાણિતિક તર્કના બે પ્રમેય અને પરિણામે, કોઈપણ પૂરતા મજબૂત પ્રથમ-ક્રમના સિદ્ધાંતના.
પ્રથમ પ્રમેય જણાવે છે કે જો ઔપચારિક અંકગણિત સુસંગત છે, તો તે અફર અને અકાટ્ય સૂત્ર ધરાવે છે.
બીજું પ્રમેય જણાવે છે કે જો ઔપચારિક અંકગણિત સુસંગત હોય, તો તેમાં ચોક્કસ સૂત્ર હોય છે જે આ સિદ્ધાંતની સુસંગતતાને અર્થપૂર્ણપણે ભારપૂર્વક જણાવે છે.
ગોડેલનું પ્રથમ અપૂર્ણતા પ્રમેય
ગોડેલના પ્રથમ અપૂર્ણતા પ્રમેયનું નિવેદન નીચે પ્રમાણે કહી શકાય:
જો ઔપચારિક અંકગણિતએસ સુસંગત છે, તો તેમાં બંધ સૂત્ર G સમાવે છે જેમ કે ન તો G કે તેનો નકાર ¬Gએસ .પ્રમેય સાબિત કરતી વખતે, ગોડેલે સૂત્ર બનાવ્યું જીસ્પષ્ટ રીતે, તેને કેટલીકવાર ગોડેલિયન અનિર્ણિત સૂત્ર કહેવામાં આવે છે. પ્રમાણભૂત અર્થઘટનમાં, વાક્ય જી S માં તેની પોતાની અરિડ્યુસિબિલિટીનો દાવો કરે છે. તેથી, ગોડેલના પ્રમેય દ્વારા, જો સિદ્ધાંત S સુસંગત હોય, તો આ સૂત્ર ખરેખર S માં અરિડ્યુસિબલ છે અને તેથી પ્રમાણભૂત અર્થઘટનમાં સાચું છે. આમ, કુદરતી સંખ્યાઓ માટે, સૂત્ર જીસાચું છે, પરંતુ S માં વ્યુત્પન્ન નથી.
ગોડેલનો પુરાવો S માંથી મેળવેલા કોઈપણ સિદ્ધાંત માટે નવા સ્વયંસિદ્ધ ઉમેરીને હાથ ધરી શકાય છે, ઉદાહરણ તરીકે, સૂત્ર જીસ્વયંસિદ્ધ તરીકે. તેથી, કોઈપણ સુસંગત સિદ્ધાંત કે જે ઔપચારિક અંકગણિતનું વિસ્તરણ છે તે અપૂર્ણ હશે.
પ્રથમ અપૂર્ણતા પ્રમેયને સાબિત કરવા માટે, ગોડેલે ઔપચારિક અંકગણિતમાં દરેક પ્રતીક, અભિવ્યક્તિ અને અભિવ્યક્તિના ક્રમને ચોક્કસ સંખ્યા સોંપી. કારણ કે સૂત્રો અને પ્રમેય અંકગણિતના વાક્યો છે, અને પ્રમેયની ઔપચારિક વ્યુત્પત્તિ એ સૂત્રોના ક્રમ છે, તેથી પ્રાકૃતિક સંખ્યાઓના સંદર્ભમાં પ્રમેય અને પુરાવાઓ વિશે વાત કરવી શક્ય બન્યું છે. ઉદાહરણ તરીકે, ગોડેલિયન અનિર્ણિત સૂત્ર દો જીનંબર ધરાવે છે m, તો તે અંકગણિતની ભાષામાં નીચેના વિધાનની સમકક્ષ છે: “આવી કોઈ કુદરતી સંખ્યા નથી n, શું nસંખ્યા સાથે સૂત્ર આઉટપુટ નંબર છે m". સૂત્રો અને પ્રાકૃતિક સંખ્યાઓની આવી સરખામણીને ગણિતનું અંકગણિતીકરણ કહેવામાં આવે છે અને તે પ્રથમ વખત ગોડેલ દ્વારા હાથ ધરવામાં આવ્યું હતું. આ વિચાર પાછળથી ગાણિતિક તર્કશાસ્ત્રની ઘણી મહત્વપૂર્ણ સમસ્યાઓના ઉકેલ માટે ચાવીરૂપ બન્યો.
પુરાવાનું સ્કેચ
ચાલો આપણે કેટલીક ઔપચારિક PM સિસ્ટમને ઠીક કરીએ જેમાં પ્રાથમિક ગાણિતિક ખ્યાલો રજૂ કરી શકાય.
ઔપચારિક પ્રણાલીના અભિવ્યક્તિઓ, બહારથી જોવામાં આવે છે, આદિમ પ્રતીકોના મર્યાદિત ક્રમ (ચલ, તાર્કિક સ્થિરાંકો, અને કૌંસ અથવા બિંદુઓ), અને તે સખત રીતે સ્પષ્ટ કરવું મુશ્કેલ નથી કે આદિમ પ્રતીકોના કયા ક્રમ સૂત્રો છે અને કયા નથી. તેવી જ રીતે, ઔપચારિક દૃષ્ટિકોણથી, પુરાવા એ સૂત્રોના મર્યાદિત ક્રમ (કડક રીતે વ્યાખ્યાયિત ગુણધર્મો સાથે) કરતાં વધુ કંઈ નથી. ગાણિતિક વિચારણા માટે, આપણે કઈ વસ્તુઓને આદિમ પ્રતીકો તરીકે લઈએ છીએ તેનાથી કોઈ ફરક પડતો નથી, અને અમે આ હેતુઓ માટે કુદરતી સંખ્યાઓનો ઉપયોગ કરવાનું નક્કી કરીએ છીએ. તદનુસાર, સૂત્ર એ કુદરતી સંખ્યાઓનો મર્યાદિત ક્રમ છે, સૂત્રનો નિષ્કર્ષ એ કુદરતી સંખ્યાઓના મર્યાદિત ક્રમનો મર્યાદિત ક્રમ છે. ગાણિતિક વિભાવનાઓ (નિવેદનો) આમ કુદરતી સંખ્યાઓ અથવા તેમના અનુક્રમો વિશેની વિભાવનાઓ (નિવેદનો) બની જાય છે, અને તેથી પોતાને PM સિસ્ટમના પ્રતીકવાદમાં વ્યક્ત કરી શકાય છે (ઓછામાં ઓછા ભાગમાં). તે ખાસ કરીને બતાવી શકાય છે કે વિભાવનાઓ “સૂત્ર”, “ઉત્પાદન”, “વ્યુત્પન્ન સૂત્ર” પીએમ સિસ્ટમમાં વ્યાખ્યાયિત કરી શકાય છે, એટલે કે, પુનઃસ્થાપિત કરવું શક્ય છે, ઉદાહરણ તરીકે, સૂત્ર એફ(વિ) એક ફ્રી વેરીએબલ સાથે PM માં વિ(જેનો પ્રકાર સંખ્યા ક્રમ છે) જેમ કે એફ(વિ), સાહજિક અર્થઘટનમાં, અર્થ થાય છે: વિ- વ્યુત્પન્ન સૂત્ર. હવે ચાલો PM સિસ્ટમનું એક અનિર્ણાયક વાક્ય એટલે કે વાક્ય બનાવીએ એ, જેના માટે ના એ, કે બિન-એબિન-વ્યુત્પન્ન, નીચે પ્રમાણે:
PM માં બરાબર એક ફ્રી ચલ સાથેનું સૂત્ર જેનો પ્રકાર કુદરતી સંખ્યા છે (વર્ગોનો વર્ગ) તેને અભિવ્યક્તિ વર્ગ કહેવામાં આવશે. ચાલો વર્ગ-અભિવ્યક્તિને અમુક રીતે ક્રમમાં ગોઠવીએ, સૂચવો n-e દ્વારા આર(n), અને નોંધ કરો કે "વર્ગ-અભિવ્યક્તિ" ની વિભાવના, તેમજ ઓર્ડરિંગ સંબંધ આર PM સિસ્ટમમાં નક્કી કરી શકાય છે. ચાલો α ને મનસ્વી વર્ગ અભિવ્યક્તિ હોઈએ; દ્વારા [α; n] એક કુદરતી સંખ્યાના પ્રતીક સાથે મુક્ત ચલને બદલીને α વર્ગ અભિવ્યક્તિમાંથી બનેલા સૂત્રને દર્શાવો n. તૃતીય સંબંધ x = [y;z] પણ PM માં વ્યાખ્યાયિત કરી શકાય તેવું બહાર આવ્યું છે. હવે આપણે વર્ગને વ્યાખ્યાયિત કરીશું કેનીચે પ્રમાણે કુદરતી સંખ્યાઓ:
n ∈ કે≡ ¬Bew[ આર(n);n] (*)(જ્યાં બેવ xઅર્થ: x- વ્યુત્પન્ન સૂત્ર). આ વ્યાખ્યામાં જોવા મળેલી તમામ વિભાવનાઓ PM માં વ્યક્ત કરી શકાય છે, તે જ ખ્યાલ માટે સાચું છે કે, જે તેમની પાસેથી બનાવવામાં આવે છે, એટલે કે, આવી અભિવ્યક્તિ વર્ગ છે એસ, કે સૂત્ર [ એસ;n], સાહજિક રીતે અર્થઘટન થાય છે, એટલે કે કુદરતી સંખ્યા nસંબંધ ધરાવે છે કે. અભિવ્યક્તિ વર્ગ તરીકે, એસઅમુક ચોક્કસ માટે સમાન આર(q) અમારા નંબરિંગમાં, એટલે કે
એસ = આર(q)અમુક ચોક્કસ કુદરતી સંખ્યા માટે ધરાવે છે q. હવે આપણે બતાવીશું કે વાક્ય [ આર(q);q] PM માં અનિર્ણાયક. તેથી, જો વાક્ય [ આર(q);q] વ્યુત્પન્ન હોવાનું ધારવામાં આવે છે, પછી તે સાચું હોવાનું બહાર આવ્યું છે, એટલે કે, ઉપર જણાવેલ પ્રમાણે, qસંબંધિત હશે કે, એટલે કે (*), ¬Bew[ અનુસાર આર(q);q] ચલાવવામાં આવશે, જે અમારી ધારણાનો વિરોધાભાસ કરે છે. બીજી બાજુ, જો નકાર [ આર(q);q] અગમ્ય હતું, પછી ¬ n ∈ કે, એટલે કે, Bew[ આર(q);q] સાચું હશે. આથી, [ આર(q);q] એકસાથે તેની નકારી કાઢી શકાય તેવું હશે, જે ફરીથી અશક્ય છે.
બહુપદી સ્વરૂપ
દરેક સુસંગત સિદ્ધાંત માટેટી એક પરિમાણ K નું પૂર્ણાંક મૂલ્ય સ્પષ્ટ કરી શકે છે જેમ કે સમીકરણ (θ + 2 z − b 5) 2 + (u + tθ − l) 2 + (y + mθ − ઇ) 2 + (n − q 16) 2 + ((g + ઇq 3 + lq 5 + (2(ઇ − zλ)(1 + g) 4 + λ b 5 + λ b 5 q 4)q 4)(n 2 − n) + (q 3 − bl + l + θλ q 3 + (b 5 − 2)q 5)(n 2 − 1) − આર) 2 + (પી − 2ડબલ્યુs 2 આર 2 n 2) 2 + (પી 2 k 2 − k 2 + 1 − τ 2) 2 + (4(c − ksn 2) 2 + η − k 2) 2 + (આર + 1 + hપી − h − k) 2 + (a − (ડબલ્યુn 2 + 1)આરsn 2) 2 + (2આર+ 1 + φ − c) 2 + (bડબલ્યુ + ca − 2c+ 4αγ − 5γ − ડી) 2 + ((a 2 − 1)c 2 + 1 − ડી 2) 2 + ((a 2 − 1)i 2 c 4 + 1 − f 2) 2 + (((a + f 2 (ડી 2 − a)) 2 − 1)(2આર + 1 + jc) 2 + 1 − (ડી + ઓf) 2) 2 + (((z + u + y) 2 + u) 2 + y − કે) 2 = 0 બિન-નકારાત્મક પૂર્ણાંકોમાં કોઈ ઉકેલો નથી, પરંતુ આ હકીકત સિદ્ધાંતમાં સાબિત થઈ શકતી નથીટી . તદુપરાંત, દરેક સુસંગત સિદ્ધાંત માટે, આ ગુણધર્મ ધરાવતા પરિમાણ K ના મૂલ્યોનો સમૂહ અનંત અને અલ્ગોરિધમિક રીતે બિન-ગણતરીય છે.ગોડેલનું બીજું અપૂર્ણતા પ્રમેય
ઔપચારિક અંકગણિત S માં, કોઈ એક સૂત્ર બનાવી શકે છે જે, પ્રમાણભૂત અર્થઘટનમાં, જો અને માત્ર જો સિદ્ધાંત S સુસંગત હોય તો જ સાચું છે. આ સૂત્ર માટે, ગોડેલના બીજા પ્રમેયનું નિવેદન સાચું છે:
જો ઔપચારિક અંકગણિતએસ સુસંગત છે, પછી તેમાં એક અફર સૂત્ર છે જે અર્થપૂર્ણ રીતે સુસંગતતાનો દાવો કરે છેએસ .બીજા શબ્દોમાં કહીએ તો, આ સિદ્ધાંત દ્વારા ઔપચારિક અંકગણિતની સુસંગતતા સાબિત કરી શકાતી નથી. જો કે, એવા માધ્યમોનો ઉપયોગ કરીને ઔપચારિક અંકગણિતની સુસંગતતાના પુરાવા છે જે તેમાં અભિવ્યક્ત નથી.
પુરાવાનું સ્કેચ
પ્રથમ ફોર્મ્યુલા બનાવવામાં આવે છે કોન, જે સૈદ્ધાંતિક S ના કોઈપણ સૂત્રને તેના નકાર સાથે મેળવવાની અશક્યતાને અર્થપૂર્ણ રીતે વ્યક્ત કરે છે. પછી ગોડેલના પ્રથમ પ્રમેયનું નિવેદન સૂત્ર દ્વારા વ્યક્ત કરવામાં આવે છે કોન ⊃ જી, ક્યાં જી- ગોડેલનું વણઉકેલ્યું સૂત્ર. પ્રથમ પ્રમેયને સાબિત કરવા માટેના તમામ તર્ક S ના માધ્યમનો ઉપયોગ કરીને વ્યક્ત કરી શકાય છે, એટલે કે, સૂત્ર S માં કપાતપાત્ર છે. કોન ⊃ જી. તેથી, જો S માં વ્યુત્પન્ન છે કોન, પછી તે કપાતપાત્ર છે અને જી. જો કે, ગોડેલના પ્રથમ પ્રમેય મુજબ, જો S સુસંગત હોય, તો જીતેમાં કપાતપાત્ર નથી. પરિણામે, જો S સુસંગત હોય, તો તેમાંનું સૂત્ર પણ અફર છે કોન.
નોંધો
પણ જુઓ
લિંક્સ
- વી. એ. યુસ્પેન્સકીગોડેલનું અપૂર્ણતા પ્રમેય. - એમ.: નૌકા, 1982. - 110 પૃષ્ઠ. - (ગણિત પરના લોકપ્રિય પ્રવચનો).
- વિદ્વાન યુ. એલ. એર્શોવ "ગણિતમાં સાબિતી", એ. ગોર્ડન પ્રોગ્રામ તારીખ 16 જૂન, 2003
- એ.બી. સોસિન્સ્કીગોડેલનું પ્રમેય // સમર સ્કૂલ "આધુનિક ગણિત". - ડબના: 2006.
- પી.જે. કોહેનસેટ થિયરીના પાયા પર // ગાણિતિક વિજ્ઞાનમાં પ્રગતિ. - 1974. - ટી. 29. - નંબર 5(179). - પૃષ્ઠ 169–176.
- એમ. કોર્ડોન્સકીસત્યનો અંત. - ISBN 5-946448-001-04
- વી. એ. યુસ્પેન્સકીઅપૂર્ણતા અને ચાર રસ્તાઓ પર ગોડેલનું પ્રમેય // સમર સ્કૂલ "આધુનિક ગણિત". - ડબના: 2007.
- ઝેનકીન એ. એ.સમય વિભાજનનો સિદ્ધાંત અને અર્ધ-મર્યાદિત બુદ્ધિગમ્ય તર્કના એક વર્ગનું વિશ્લેષણ (અસંખ્યતા પર જી. કેન્ટરના પ્રમેયના ઉદાહરણનો ઉપયોગ કરીને) // DAN. - 1997. - ટી. 356. - નંબર 6. - પૃષ્ઠ 733-735.
- ચેચુલિન વી. એલ.ગોડેલના પ્રમેયના પુરાવાના ટૂંકા સંસ્કરણ પર // “ગણિત અને માહિતી વિજ્ઞાનની મૂળભૂત સમસ્યાઓ”, XXXIV ફાર ઈસ્ટર્ન મેથેમેટિકલ સ્કૂલ-સેમિનારની સામગ્રી જેનું નામ એકેડેમિશિયન ઈ.વી. ઝોલોટોવા. - ખાબોરોવસ્ક, રશિયા: 2009. - પૃષ્ઠ 60-61.
વિકિમીડિયા ફાઉન્ડેશન.
2010.
અન્ય શબ્દકોશોમાં "અપૂર્ણતા પર ગોડેલના પ્રમેય" શું છે તે જુઓ:
આ શબ્દના અન્ય અર્થો છે, જુઓ ગોડેલનું પ્રમેય. અપૂર્ણતા પર ગોડેલનું પ્રમેય અને ગોડેલનું બીજું પ્રમેય [1] ઔપચારિક અંકગણિતની મૂળભૂત મર્યાદાઓ વિશે ગાણિતિક તર્કશાસ્ત્રના બે પ્રમેય અને પરિણામે, કોઈપણ ... ... વિકિપીડિયા
ગોડેલના અપૂર્ણતા પ્રમેય એ ચોક્કસ પ્રકારની ઔપચારિક પ્રણાલીઓની અપૂર્ણતા વિશે ગાણિતિક તર્કશાસ્ત્રના બે પ્રમેય છે. વિષયવસ્તુ 1 ગોડેલનું પ્રથમ અપૂર્ણતા પ્રમેય 2 ગોડેલનું બીજું અપૂર્ણતા પ્રમેય ... વિકિપીડિયા
આ શબ્દના અન્ય અર્થો છે, જુઓ ગોડેલનું પ્રમેય. પ્રેડિકેટ કેલ્ક્યુલસની સંપૂર્ણતા પર ગોડેલનું પ્રમેય ગાણિતિક તર્કશાસ્ત્રના મૂળભૂત પ્રમેયમાંનું એક છે: તે તાર્કિક સત્ય વચ્ચે અસ્પષ્ટ જોડાણ સ્થાપિત કરે છે... ... વિકિપીડિયા કે. ગોડેલ દ્વારા સ્થાપિત બે પ્રમેય માટેનું સામાન્ય નામ. પ્રથમ જી. ટી. જણાવે છે કે ન્યૂનતમ અંકગણિત ધરાવતી કોઈપણ સુસંગત ઔપચારિક પ્રણાલીમાં (ચિન્હો અને તેમને નિયંત્રિત કરવા માટેના સામાન્ય નિયમો), ત્યાં ઔપચારિક રીતે અનિર્ણાયક છે... ...
ગાણિતિક જ્ઞાનકોશ ગાણિતિક તર્કશાસ્ત્રમાં સૌથી પ્રસિદ્ધ પ્રમેયમાંનું એક એ જ સમયે નસીબદાર અને કમનસીબ છે. આમાં તે આઈન્સ્ટાઈનના સાપેક્ષતાના વિશેષ સિદ્ધાંત સમાન છે. એક તરફ, લગભગ દરેક વ્યક્તિએ તેમના વિશે કંઈક સાંભળ્યું છે. બીજી બાજુ, લોકપ્રિય અર્થઘટનમાં, આઈન્સ્ટાઈનનો સિદ્ધાંત, જેમ કે જાણીતો છે,. અને અપૂર્ણતા પર ગોડેલનું પ્રમેય (ત્યારબાદ ફક્ત TGN), લગભગ સમાન મફત લોક રચનામાં, "સાબિત કરે છે કે માનવ મન માટે અગમ્ય વસ્તુઓ છે". અને તેથી કેટલાક તેને ભૌતિકવાદ સામે દલીલ તરીકે સ્વીકારવાનો પ્રયાસ કરે છે, જ્યારે અન્ય, તેનાથી વિપરીત, તેની મદદથી સાબિત કરે છે કે કોઈ ભગવાન નથી. મજાની વાત તો એ છે કે બંને પક્ષો એક જ સમયે સાચા હોઈ શકતા નથી, પરંતુ એ પણ છે કે આ પ્રમેય વાસ્તવમાં શું જણાવે છે તે સમજવાની એક કે બીજી કોઈ ચિંતા કરતું નથી.
તો શું? નીચે હું તમને તેના વિશે "આંગળીઓ પર" કહેવાનો પ્રયત્ન કરીશ. મારી રજૂઆત, અલબત્ત, બિન-કઠોર અને સાહજિક હશે, પરંતુ હું ગણિતશાસ્ત્રીઓને કહીશ કે તેઓ મારો કડક નિર્ણય ન કરે. શક્ય છે કે બિન-ગણિતશાસ્ત્રીઓ માટે (જેમાંથી, હકીકતમાં, હું એક છું), નીચે વર્ણવેલ છે તેમાં કંઈક નવું અને ઉપયોગી હશે.
ગાણિતિક તર્ક ખરેખર એક જટિલ વિજ્ઞાન છે, અને સૌથી અગત્યનું, ખૂબ પરિચિત નથી. તેને સાવચેત અને કડક દાવપેચની જરૂર છે, જેમાં "પહેલેથી જ સ્પષ્ટ" શું છે તેની સાથે ખરેખર જે સાબિત થયું છે તે મૂંઝવણમાં ન મૂકવું મહત્વપૂર્ણ છે. જો કે, હું આશા રાખું છું કે નીચે આપેલ "TGN ના પુરાવાની રૂપરેખા" સમજવા માટે વાચકને માત્ર ઉચ્ચ શાળાના ગણિત/કોમ્પ્યુટર વિજ્ઞાન, તાર્કિક વિચારસરણીની કુશળતા અને 15-20 મિનિટના સમયની જરૂર પડશે.
કંઈક અંશે સરળ બનાવતા, TGN ભારપૂર્વક જણાવે છે કે પૂરતી જટિલ ભાષાઓમાં અયોગ્ય નિવેદનો છે. પરંતુ આ વાક્યમાં લગભગ દરેક શબ્દને સમજૂતીની જરૂર છે.
ચાલો સાબિતી શું છે તે શોધવાનો પ્રયાસ કરીને પ્રારંભ કરીએ. ચાલો શાળાના અંકગણિતની કેટલીક સમસ્યા લઈએ. ઉદાહરણ તરીકે, ચાલો કહીએ કે આપણે નીચેના સરળ સૂત્રની સાચીતા સાબિત કરવાની જરૂર છે: " " (હું તમને યાદ અપાવી દઉં કે પ્રતીક "કોઈપણ માટે" વાંચે છે અને તેને "યુનિવર્સલ ક્વોન્ટિફાયર" કહેવામાં આવે છે). તમે તેને સમાન રીતે રૂપાંતરિત કરીને સાબિત કરી શકો છો, કહો, આના જેવું:
એક સૂત્રમાંથી બીજામાં સંક્રમણ અમુક જાણીતા નિયમો અનુસાર થાય છે. 4 થી ફોર્મ્યુલાથી 5 માં સંક્રમણ થયું, કહો, કારણ કે દરેક સંખ્યા તેના પોતાના માટે સમાન છે - આ અંકગણિતનું સ્વયંસિદ્ધ છે. અને સમગ્ર સાબિતી પ્રક્રિયા, આમ, સૂત્રને બુલિયન મૂલ્ય TRUE માં અનુવાદિત કરે છે. પરિણામ જૂઠાણું પણ હોઈ શકે છે - જો આપણે અમુક ફોર્મ્યુલાને રદિયો આપીએ. આ કિસ્સામાં, અમે તેનો ઇનકાર સાબિત કરીશું. કોઈ એક પ્રોગ્રામની કલ્પના કરી શકે છે (અને આવા પ્રોગ્રામ્સ ખરેખર લખવામાં આવ્યા છે) જે માનવ હસ્તક્ષેપ વિના સમાન (અને વધુ જટિલ) નિવેદનો સાબિત કરશે.
ચાલો એ જ વાતને થોડી વધુ ઔપચારિક રીતે જણાવીએ. ધારો કે આપણી પાસે અમુક મૂળાક્ષરોના અક્ષરોના તારનો સમૂહ છે, અને એવા નિયમો છે કે જેના દ્વારા આપણે આ શબ્દમાળાઓમાંથી કહેવાતા ઉપગણને પસંદ કરી શકીએ. નિવેદનો- એટલે કે, વ્યાકરણની રીતે અર્થપૂર્ણ શબ્દસમૂહો, જેમાંથી દરેક સાચા કે ખોટા છે. અમે કહી શકીએ કે ત્યાં એક કાર્ય છે જે નિવેદનોને બેમાંથી એક મૂલ્ય સાથે સાંકળે છે: TRUE અથવા FALSE (એટલે કે, તેમને બે ઘટકોના બુલિયન સમૂહમાં મેપ કરવું).
ચાલો આવી જોડીને કૉલ કરીએ - નિવેદનોનો સમૂહ અને ફંક્શન થી - "વિધાનોની ભાષા". નોંધ કરો કે રોજિંદા અર્થમાં ભાષાનો ખ્યાલ કંઈક અંશે વ્યાપક છે. ઉદાહરણ તરીકે, રશિયન શબ્દસમૂહ "અહીં આવો!"ન તો સાચું કે ખોટું, એટલે કે ગાણિતિક તર્કના દૃષ્ટિકોણથી, તે નિવેદન નથી.
નીચેના માટે, આપણને અલ્ગોરિધમના ખ્યાલની જરૂર છે. હું અહીં તેની ઔપચારિક વ્યાખ્યા આપીશ નહીં - તે આપણને ખૂબ જ ભટકી જશે. હું મારી જાતને અનૌપચારિક સુધી મર્યાદિત કરીશ: "એલ્ગોરિધમ"અસંદિગ્ધ સૂચનાઓનો ક્રમ છે (“પ્રોગ્રામ”) જે પગલાંઓની મર્યાદિત સંખ્યામાંસ્ત્રોત ડેટાને પરિણામોમાં રૂપાંતરિત કરે છે. ઇટાલિકમાં શું છે તે મૂળભૂત રીતે મહત્વપૂર્ણ છે - જો પ્રોગ્રામ કેટલાક પ્રારંભિક ડેટા પર લૂપ કરે છે, તો તે અલ્ગોરિધમનું વર્ણન કરતું નથી. સરળતા માટે અને અમારા કેસમાં લાગુ કરવા માટે, વાચક વિચારી શકે છે કે અલ્ગોરિધમ એ તેને જાણીતી કોઈપણ પ્રોગ્રામિંગ ભાષામાં લખાયેલ પ્રોગ્રામ છે, જે આપેલ વર્ગના કોઈપણ ઇનપુટ ડેટા માટે, બુલિયન પરિણામ ઉત્પન્ન કરીને તેનું કાર્ય પૂર્ણ કરવાની ખાતરી આપે છે.
ચાલો આપણે આપણી જાતને પૂછીએ: દરેક કાર્ય માટે "સાબિત અલ્ગોરિધમનો" (અથવા ટૂંકમાં, "આનુમાનિક"), આ ફંક્શનની સમકક્ષ, એટલે કે, દરેક વિધાનને તેના જેવા જ બુલિયન મૂલ્યમાં રૂપાંતરિત કરવું? સમાન પ્રશ્નને વધુ સંક્ષિપ્ત રીતે નીચે પ્રમાણે ઘડી શકાય છે: વિધાનોના સમૂહ પર દરેક કાર્ય છે ગણતરીપાત્ર? તમે પહેલેથી જ અનુમાન લગાવ્યું છે તેમ, TGN ની માન્યતા પરથી તે અનુસરે છે કે ના, દરેક ફંક્શન નથી - આ પ્રકારના અસંગત કાર્યો છે. બીજા શબ્દોમાં કહીએ તો, દરેક સાચું નિવેદન સાબિત કરી શકાતું નથી.
તે ખૂબ જ શક્ય છે કે આ નિવેદન તમારામાં આંતરિક વિરોધનું કારણ બને. આ અનેક સંજોગોને કારણે છે. સૌપ્રથમ, જ્યારે આપણને શાળાનું ગણિત શીખવવામાં આવે છે, ત્યારે આપણે કેટલીકવાર ખોટી છાપ મેળવીએ છીએ કે "પ્રમેય સાચું છે" અને "પ્રમેય સાબિત અથવા ચકાસી શકાય છે" લગભગ સંપૂર્ણપણે સમાન છે. પરંતુ, જો તમે તેના વિશે વિચારો છો, તો આ બિલકુલ સ્પષ્ટ નથી. કેટલાક પ્રમેય તદ્દન સરળ રીતે સાબિત થાય છે (ઉદાહરણ તરીકે, થોડા વિકલ્પો અજમાવીને), જ્યારે અન્ય ઘણા મુશ્કેલ છે. ઉદાહરણ તરીકે, ફર્મેટના પ્રખ્યાત છેલ્લા પ્રમેયને ધ્યાનમાં લો:
જેનો પુરાવો પ્રથમ રચના પછી માત્ર સાડા ત્રણ સદીઓ પછી મળી આવ્યો હતો (અને તે પ્રાથમિકથી દૂર છે). નિવેદનની સત્યતા અને તેની સાબિતી વચ્ચે તફાવત કરવો જરૂરી છે. તે ક્યાંયથી અનુસરતું નથી કે ત્યાં કોઈ સાચા પરંતુ અપ્રુવેબલ (અને સંપૂર્ણ રીતે ચકાસી શકાય તેવા નથી) નિવેદનો નથી.
TGN સામે બીજી સાહજિક દલીલ વધુ સૂક્ષ્મ છે. ચાલો કહીએ કે અમારી પાસે કેટલાક અપ્રુવેબલ (આ આનુમાનિક માળખાની અંદર) નિવેદન છે. તેને એક નવા સ્વયંસિદ્ધ તરીકે સ્વીકારવામાં આપણને શું રોકે છે? આમ, અમે પુરાવાની અમારી સિસ્ટમને થોડી જટિલ બનાવીશું, પરંતુ આ ડરામણી નથી. જો અસંખ્ય અપ્રુવેબલ વિધાનો હોય તો આ દલીલ સંપૂર્ણપણે સાચી હશે. વ્યવહારમાં, નીચેની બાબતો થઈ શકે છે: એક નવો સ્વયંસિદ્ધ ધારણા કર્યા પછી, તમે એક નવા અયોગ્ય નિવેદન પર ઠોકર ખાશો. જો તમે તેને અન્ય સ્વયંસિદ્ધ તરીકે સ્વીકારો છો, તો તમે ત્રીજા પર ઠોકર ખાશો. અને તેથી જાહેરાત અનંત પર. તેઓ કહે છે કે કપાત રહેશે અપૂર્ણ. અમે ભાષાના કોઈપણ ઉચ્ચારણ માટે અમુક પરિણામ સાથે મર્યાદિત સંખ્યામાં પગલાંઓ પૂરા કરવા માટે સાબિત અલ્ગોરિધમને દબાણ પણ કરી શકીએ છીએ. પરંતુ તે જ સમયે, તે જૂઠું બોલવાનું શરૂ કરશે - ખોટા નિવેદનો માટે સત્ય તરફ દોરી જશે, અથવા જૂઠાણું - વિશ્વાસુ લોકો માટે. આવા કિસ્સાઓમાં તેઓ કહે છે કે કપાત વિરોધાભાસી. આમ, TGN નું બીજું સૂત્ર આના જેવું સંભળાય છે: "ત્યાં પ્રસ્તાવિત ભાષાઓ છે કે જેના માટે સંપૂર્ણ સુસંગત કપાત અશક્ય છે" - તેથી પ્રમેયનું નામ.
કેટલીકવાર "ગોડેલનું પ્રમેય" કહેવાય છે, નિવેદન એ છે કે કોઈપણ સિદ્ધાંતમાં એવી સમસ્યાઓ હોય છે કે જે સિદ્ધાંતના માળખામાં જ ઉકેલી શકાતી નથી અને તેના સામાન્યીકરણની જરૂર છે. એક અર્થમાં આ સાચું છે, જો કે આ ફોર્મ્યુલેશન મુદ્દાને સ્પષ્ટ કરવાને બદલે અસ્પષ્ટ બનાવે છે.
હું એ પણ નોંધીશ કે જો આપણે પરિચિત વિધેયો વિશે વાત કરી રહ્યા છીએ જે તેમાં વાસ્તવિક સંખ્યાઓના સમૂહને મેપ કરે છે, તો ફંક્શનની "નોન-કમ્પ્યુટીબિલિટી" કોઈને પણ આશ્ચર્યચકિત કરશે નહીં (ફક્ત "કમ્પ્યુટેબલ ફંક્શન્સ" અને "કમ્પ્યુટેબલ નંબર્સ" ને ગૂંચવશો નહીં. ” - આ અલગ વસ્તુઓ છે). કોઈપણ શાળાના બાળક જાણે છે કે, કહો, ફંક્શનના કિસ્સામાં, તમારે આ ફંકશનના મૂલ્યની ચોક્કસ દશાંશ રજૂઆતની ગણતરીની પ્રક્રિયાને મર્યાદિત સંખ્યામાં પગલાંઓમાં પૂર્ણ કરવા માટે દલીલ સાથે ખૂબ નસીબદાર હોવું જોઈએ. પરંતુ મોટે ભાગે તમે અનંત શ્રેણીનો ઉપયોગ કરીને તેની ગણતરી કરશો, અને આ ગણતરી ક્યારેય ચોક્કસ પરિણામ તરફ દોરી જશે નહીં, જો કે તે તમને ગમે તેટલું નજીક આવી શકે છે - ફક્ત એટલા માટે કે મોટાભાગની દલીલોની સાઈનનું મૂલ્ય અતાર્કિક છે. TGN અમને સરળ રીતે કહે છે કે ફંક્શન્સમાં પણ જેમની દલીલો શબ્દમાળાઓ છે અને જેની કિંમતો શૂન્ય અથવા એક છે, ત્યાં બિન-ગણતરીય કાર્યો પણ છે, જો કે તેમની રચના સંપૂર્ણપણે અલગ છે.
વધુ હેતુઓ માટે, અમે "ઔપચારિક અંકગણિતની ભાષા" નું વર્ણન કરીશું. મર્યાદિત લંબાઈના ટેક્સ્ટ શબ્દમાળાઓના વર્ગને ધ્યાનમાં લો, જેમાં અરબી અંકો, ચલો (લેટિન મૂળાક્ષરોના અક્ષરો) કુદરતી મૂલ્યો, જગ્યાઓ, અંકગણિત ચિહ્નો, સમાનતા અને અસમાનતા, ક્વોન્ટિફાયર ("અસ્તિત્વ") અને ("કોઈપણ માટે") અને , કદાચ , કેટલાક અન્ય પ્રતીકો (તેમની ચોક્કસ સંખ્યા અને રચના આપણા માટે બિનમહત્વપૂર્ણ છે). તે સ્પષ્ટ છે કે આવી બધી રેખાઓ અર્થપૂર્ણ નથી (ઉદાહરણ તરીકે, “ ” નોનસેન્સ છે). આ વર્ગમાંથી અર્થપૂર્ણ અભિવ્યક્તિઓનો સબસેટ (એટલે કે, સામાન્ય અંકગણિતના દૃષ્ટિકોણથી સાચા અથવા ખોટા એવા શબ્દમાળાઓ) એ અમારા વિધાનોનો સમૂહ હશે.
ઔપચારિક અંકગણિત નિવેદનોના ઉદાહરણો:
વગેરે હવે ચાલો “ફ્રી પેરામીટર સાથેના ફોર્મ્યુલા” (FSP) ને એક સ્ટ્રિંગ કહીએ જે એક સ્ટેટમેન્ટ બની જાય છે જો તેમાં આ પેરામીટર તરીકે કુદરતી સંખ્યાને બદલે છે. FSP ના ઉદાહરણો (પેરામીટર સાથે):
વગેરે બીજા શબ્દોમાં કહીએ તો, FSP એ બુલિયન મૂલ્યો સાથે કુદરતી દલીલ કાર્યોની સમકક્ષ છે.
ચાલો પત્ર દ્વારા તમામ FSP ના સમૂહને સૂચિત કરીએ. તે સ્પષ્ટ છે કે તે ઓર્ડર કરી શકાય છે (ઉદાહરણ તરીકે, પહેલા આપણે મૂળાક્ષરો અનુસાર એક-અક્ષરના સૂત્રો લખીએ છીએ, ત્યારબાદ બે-અક્ષરના સૂત્રો વગેરે. આમ, કોઈપણ FSP ઓર્ડર કરેલ સૂચિમાં તેના નંબરને અનુરૂપ છે, અને અમે તેને સૂચિત કરીશું.
ચાલો હવે નીચેની રચનામાં TGN ના પુરાવાના સ્કેચ તરફ આગળ વધીએ:
- ઔપચારિક અંકગણિતની પ્રસ્તાવનાત્મક ભાષા માટે કોઈ સંપૂર્ણ સુસંગત અનુમાણિક સિસ્ટમ નથી.
અમે તેને વિરોધાભાસથી સાબિત કરીશું.
તેથી, ચાલો માની લઈએ કે આવી કપાતાત્મક સિસ્ટમ અસ્તિત્વમાં છે. ચાલો આપણે નીચેના સહાયક અલ્ગોરિધમનું વર્ણન કરીએ, જે નીચે પ્રમાણે કુદરતી સંખ્યાને બુલિયન મૂલ્ય અસાઇન કરે છે:
સરળ શબ્દોમાં કહીએ તો, અલ્ગોરિધમ મૂલ્ય TRUE માં પરિણમે છે જો અને માત્ર જો અમારી સૂચિમાં FSP માં તેના પોતાના નંબરને બદલવાનું પરિણામ ખોટું નિવેદન આપે.
અહીં અમે એક જ જગ્યાએ આવીએ છીએ જ્યાં હું વાચકને તેના માટે મારી વાત લેવાનું કહીશ.
તે સ્પષ્ટ છે કે, ઉપરોક્ત ધારણા હેઠળ, કોઈપણ FSP ની તુલના ઇનપુટ પર કુદરતી સંખ્યા અને આઉટપુટ પર બુલિયન મૂલ્ય ધરાવતા અલ્ગોરિધમ સાથે કરી શકાય છે. વાતચીત ઓછી સ્પષ્ટ છે:
આ લેમ્માના પુરાવા માટે અલ્ગોરિધમની વિભાવનાની સાહજિક બદલે, ઓછામાં ઓછી ઔપચારિક વ્યાખ્યાની જરૂર પડશે. જો કે, જો તમે તેના વિશે થોડો વિચાર કરો છો, તો તે તદ્દન બુદ્ધિગમ્ય છે. વાસ્તવમાં, એલ્ગોરિધમ્સ એલ્ગોરિધમિક ભાષાઓમાં લખવામાં આવે છે, જેમાંથી આવા વિચિત્ર છે, ઉદાહરણ તરીકે, બ્રેઈનફક, જેમાં આઠ એકલ-અક્ષર શબ્દોનો સમાવેશ થાય છે, જેમાં, કોઈપણ અલ્ગોરિધમનો અમલ કરી શકાય છે. તે વિચિત્ર હશે જો આપણે વર્ણવેલ ઔપચારિક અંકગણિતના સૂત્રોની સમૃદ્ધ ભાષા ગરીબ હોવાનું બહાર આવ્યું - જો કે, કોઈ શંકા વિના, તે સામાન્ય પ્રોગ્રામિંગ માટે ખૂબ યોગ્ય નથી.
આ લપસણો સ્થાન પસાર કર્યા પછી, અમે ઝડપથી અંત સુધી પહોંચીએ છીએ.
તેથી, ઉપર આપણે અલ્ગોરિધમનું વર્ણન કર્યું છે. લેમ્મા અનુસાર મેં તમને માનવાનું કહ્યું, ત્યાં એક સમકક્ષ FSP છે. તે સૂચિમાં કેટલાક નંબર ધરાવે છે - કહો, . ચાલો આપણી જાતને પૂછીએ, શું સમાન છે? આ સત્ય થવા દો. પછી, અલ્ગોરિધમ (અને તેથી તેના સમકક્ષ કાર્ય) ના નિર્માણ અનુસાર, આનો અર્થ એ થાય કે ફંક્શનમાં સંખ્યાને બદલવાનું પરિણામ FALSE છે. વિરુદ્ધ એ જ રીતે તપાસવામાં આવે છે: FALSE થી TRUE ને અનુસરે છે. અમે એક વિરોધાભાસ પર પહોંચી ગયા છીએ, જેનો અર્થ એ છે કે મૂળ ધારણા ખોટી છે. આમ, ઔપચારિક અંકગણિત માટે કોઈ સંપૂર્ણ સુસંગત અનુમાણિક સિસ્ટમ નથી. Q.E.D.
અહીં એપિમેનાઇડ્સને યાદ કરવું યોગ્ય છે (શીર્ષકમાં પોટ્રેટ જુઓ), જેમણે, જેમ જાણીતું છે, જાહેર કર્યું કે બધા ક્રેટન્સ જૂઠા છે, પોતે ક્રેટન છે. વધુ સંક્ષિપ્ત ફોર્મ્યુલેશનમાં, તેમનું નિવેદન (જેને "જૂઠાણું વિરોધાભાસ" તરીકે ઓળખવામાં આવે છે) નીચે પ્રમાણે કહી શકાય: "હું જૂઠું બોલું છું." તે ચોક્કસપણે આ પ્રકારનું નિવેદન છે, જે પોતે તેની ખોટીતા જાહેર કરે છે, જેનો અમે પુરાવા માટે ઉપયોગ કર્યો છે.
નિષ્કર્ષમાં, હું એ નોંધવા માંગુ છું કે TGN ખાસ કરીને આશ્ચર્યજનક કંઈપણ દાવો કરતું નથી. અંતે, દરેક વ્યક્તિ લાંબા સમયથી એ હકીકત માટે ટેવાયેલું છે કે બધી સંખ્યાઓ બે પૂર્ણાંકોના ગુણોત્તર તરીકે રજૂ કરી શકાતી નથી (યાદ રાખો, આ નિવેદનમાં એક ખૂબ જ ભવ્ય પુરાવો છે જે બે હજાર વર્ષથી વધુ જૂનો છે?). અને બધી સંખ્યાઓ તર્કસંગત ગુણાંક સાથે બહુપદીના મૂળ નથી. અને હવે તે તારણ આપે છે કે કુદરતી દલીલના તમામ કાર્યો ગણતરીપાત્ર નથી.
આપેલ પુરાવાનો સ્કેચ ઔપચારિક અંકગણિતની ચિંતા કરે છે, પરંતુ તે જોવાનું સરળ છે કે TGN અન્ય ઘણી પ્રસ્તાવિત ભાષાઓને લાગુ પડે છે. અલબત્ત, બધી ભાષાઓ આવી હોતી નથી. ઉદાહરણ તરીકે, ચાલો નીચે પ્રમાણે ભાષાને વ્યાખ્યાયિત કરીએ:
- "ચીની ભાષામાં કોઈપણ શબ્દસમૂહ એ સાચું નિવેદન છે જો તે કોમરેડ માઓ ઝેડોંગના અવતરણ પુસ્તકમાં સમાયેલ હોય, અને જો તે સમાવિષ્ટ ન હોય તો તે ખોટું છે."
પછી અનુરૂપ સંપૂર્ણ અને સુસંગત સાબિત અલ્ગોરિધમ (કોઈ તેને "કથિત આનુમાનિક" કહી શકે છે) કંઈક આના જેવું લાગે છે:
- "કોમરેડ માઓ ઝેડોંગના અવતરણ પુસ્તકમાંથી ફ્લિપ કરો જ્યાં સુધી તમે જે કહેવત શોધી રહ્યાં છો તે ન મળે. જો તે મળી જાય, તો તે સાચું છે, પરંતુ જો અવતરણ પુસ્તક સમાપ્ત થઈ ગયું છે અને નિવેદન મળ્યું નથી, તો તે ખોટું છે."
અહીં જે આપણને બચાવે છે તે એ છે કે કોઈપણ અવતરણ પુસ્તક દેખીતી રીતે મર્યાદિત છે, તેથી "સાબિત" કરવાની પ્રક્રિયા અનિવાર્યપણે સમાપ્ત થશે. આમ, TGN કટ્ટર નિવેદનોની ભાષાને લાગુ પડતું નથી. પરંતુ અમે જટિલ ભાષાઓ વિશે વાત કરી રહ્યા હતા, બરાબર?
જટિલતાના ચોક્કસ સ્તરથી શરૂ થતી ગાણિતિક સ્વયંસિદ્ધની કોઈપણ સિસ્ટમ આંતરિક રીતે વિરોધાભાસી અથવા અપૂર્ણ છે.
1900 માં, ગણિતશાસ્ત્રીઓની વિશ્વ પરિષદ પેરિસમાં યોજાઈ હતી, જેમાં ડેવિડ હિલ્બર્ટ (1862-1943) એ તેમના મતે, આગામી વીસમી સદીના સૈદ્ધાંતિકોએ હલ કરવાની 23 સૌથી મહત્વપૂર્ણ થીસીસના રૂપમાં રજૂ કર્યા હતા. તેમની યાદીમાં નંબર બે તે સરળ સમસ્યાઓમાંની એક હતી જેનો જવાબ જ્યાં સુધી તમે થોડો ઊંડો ખોદશો નહીં ત્યાં સુધી સ્પષ્ટ લાગે છે. આધુનિક શબ્દોમાં, આ પ્રશ્ન હતો: શું ગણિત આત્મનિર્ભર છે? હિલ્બર્ટનું બીજું કાર્ય સખત રીતે સાબિત કરવાની જરૂરિયાતને ધ્યાનમાં રાખીને ઉકળ્યું હતું કે ગૃહીતોની સિસ્ટમ - પુરાવા વિના આધાર તરીકે ગણિતમાં સ્વીકૃત મૂળભૂત નિવેદનો - સંપૂર્ણ અને સંપૂર્ણ છે, એટલે કે, તે અસ્તિત્વમાં છે તે દરેક વસ્તુનું ગાણિતિક રીતે વર્ણન કરવાની મંજૂરી આપે છે. તે સાબિત કરવું જરૂરી હતું કે સ્વયંસિદ્ધ પ્રણાલીને વ્યાખ્યાયિત કરવી શક્ય છે કે તેઓ, પ્રથમ, પરસ્પર સુસંગત હશે, અને બીજું, તેમાંથી કોઈપણ નિવેદનની સત્યતા અથવા અસત્યતા વિશે નિષ્કર્ષ દોરી શકાય છે.
ચાલો શાળા ભૂમિતિમાંથી એક ઉદાહરણ લઈએ. પ્રમાણભૂત યુક્લિડિયન પ્લાનિમેટ્રી (પ્લેન પરની ભૂમિતિ) માં, તે શંકાની બહાર સાબિત થઈ શકે છે કે "ત્રિકોણના ખૂણાઓનો સરવાળો 180° છે" વિધાન સાચું છે, અને વિધાન "ત્રિકોણના ખૂણાઓનો સરવાળો 137 છે. °” ખોટું છે. અનિવાર્યપણે કહીએ તો, યુક્લિડિયન ભૂમિતિમાં કોઈપણ નિવેદન કાં તો ખોટું અથવા સાચું છે, અને ત્યાં કોઈ ત્રીજો વિકલ્પ નથી. અને વીસમી સદીની શરૂઆતમાં, ગણિતશાસ્ત્રીઓ નિષ્કપટપણે માનતા હતા કે કોઈપણ તાર્કિક રીતે સુસંગત સિસ્ટમમાં સમાન પરિસ્થિતિનું અવલોકન કરવું જોઈએ.
અને પછી, 1931 માં, કેટલાક નજરે ચડેલા વિયેનીઝ ગણિતશાસ્ત્રી કર્ટ ગોડેલે એક નાનો લેખ પ્રકાશિત કર્યો જેણે કહેવાતા "ગાણિતિક તર્ક" ની આખી દુનિયાને ફક્ત અસ્વસ્થ કરી દીધી. લાંબી અને જટિલ ગાણિતિક અને સૈદ્ધાંતિક પ્રસ્તાવનાઓ પછી, તેમણે શાબ્દિક રીતે નીચેની સ્થાપના કરી. ચાલો કોઈપણ વિધાન લઈએ જેમ કે: "આ ગૃહીત પ્રણાલીમાં ધારણા નંબર 247 તાર્કિક રીતે અયોગ્ય છે" અને તેને "વિધાન A" કહીએ. તેથી, ગોડેલે કોઈપણ સ્વયંસિદ્ધ પ્રણાલીની નીચેની અદ્ભુત મિલકતને સરળ રીતે સાબિત કરી:
"જો વિધાન A સાબિત થઈ શકે છે, તો નિવેદન નથી-A સાબિત થઈ શકે છે."
બીજા શબ્દોમાં કહીએ તો, જો “ધારણા 247 અપ્રુવેબલ છે” વિધાનની સત્યતા સાબિત થઈ શકે છે, તો “ધારણા 247 સાબિત થઈ શકે છે” વિધાનની સત્યતા પણ સાબિત થઈ શકે છે. એટલે કે, હિલ્બર્ટની બીજી સમસ્યાની રચના પર પાછા ફરવું, જો સ્વયંસિદ્ધ સિસ્ટમ પૂર્ણ છે (એટલે કે, તેમાં કોઈપણ નિવેદન સાબિત થઈ શકે છે), તો તે વિરોધાભાસી છે.
આ પરિસ્થિતિમાંથી બહાર નીકળવાનો એકમાત્ર રસ્તો એ છે કે સ્વયંસિદ્ધની અપૂર્ણ સિસ્ટમ સ્વીકારવી. એટલે કે, આપણે એ હકીકતને સહન કરવી પડશે કે કોઈપણ તાર્કિક પ્રણાલીના સંદર્ભમાં આપણી પાસે હજુ પણ "ટાઈપ A" નિવેદનો હશે જે દેખીતી રીતે સાચા કે ખોટા છે - અને અમે તેમની સત્યતાનો માત્ર આપણી પાસેના અક્ષયશાસ્ત્રના માળખાની બહાર જ નિર્ણય કરી શકીએ છીએ. સ્વીકાર્યું. જો આવા કોઈ નિવેદનો ન હોય, તો પછી અમારા અક્ષીયશાસ્ત્ર વિરોધાભાસી છે, અને તેના માળખામાં અનિવાર્યપણે એવા ફોર્મ્યુલેશન હશે જે સાબિત અને અસ્વીકાર્ય બંને હોઈ શકે છે.
તેથી, ગોડેલના પ્રથમ, અથવા નબળા, અપૂર્ણતા પ્રમેયની રચના: "કોઈપણ ઔપચારિક સ્વયંસિદ્ધ પ્રણાલીમાં વણઉકેલાયેલી ધારણાઓ હોય છે." પરંતુ ગોડેલ ત્યાં અટક્યા ન હતા, ગોડેલના બીજા, અથવા મજબૂત, અપૂર્ણતા પ્રમેયને ઘડતા અને સાબિત કરતા હતા: “કોઈપણ સ્વયંસિદ્ધ પ્રણાલીની તાર્કિક પૂર્ણતા (અથવા અપૂર્ણતા) આ સિસ્ટમના માળખામાં સાબિત થઈ શકતી નથી. તેને સાબિત કરવા અથવા ખોટા સાબિત કરવા માટે, વધારાના સિદ્ધાંતો જરૂરી છે (સિસ્ટમને મજબૂત બનાવવી).
તે વિચારવું વધુ સલામત રહેશે કે ગોડેલના પ્રમેય પ્રકૃતિમાં અમૂર્ત છે અને આપણને ચિંતા કરતા નથી, પરંતુ માત્ર ઉત્કૃષ્ટ ગાણિતિક તર્કના ક્ષેત્રો છે, પરંતુ હકીકતમાં તે બહાર આવ્યું છે કે તેઓ માનવ મગજની રચના સાથે સીધા સંબંધિત છે. અંગ્રેજી ગણિતશાસ્ત્રી અને ભૌતિકશાસ્ત્રી રોજર પેનરોઝ (b. 1931) એ બતાવ્યું કે Gödelના પ્રમેયનો ઉપયોગ માનવ મગજ અને કમ્પ્યુટર વચ્ચેના મૂળભૂત તફાવતોના અસ્તિત્વને સાબિત કરવા માટે થઈ શકે છે. તેના તર્કનો અર્થ સરળ છે. કોમ્પ્યુટર સખત તાર્કિક રીતે કાર્ય કરે છે અને વિધાન A સાચું છે કે ખોટું એ નક્કી કરવામાં સક્ષમ નથી જો તે અક્ષીયશાસ્ત્રની બહાર જાય, અને આવા નિવેદનો, Gödelના પ્રમેય મુજબ, અનિવાર્યપણે અસ્તિત્વમાં છે. એક વ્યક્તિ, જેમ કે તાર્કિક રીતે અયોગ્ય અને અકાટ્ય નિવેદન A નો સામનો કરે છે, તે હંમેશા તેના સત્ય અથવા ખોટા - રોજિંદા અનુભવના આધારે નક્કી કરવામાં સક્ષમ છે. આમાં ઓછામાં ઓછું, માનવ મગજ શુદ્ધ લોજિક સર્કિટ દ્વારા બંધાયેલા કમ્પ્યુટર કરતાં શ્રેષ્ઠ છે. માનવ મગજ ગોડેલના પ્રમેયમાં સમાયેલ સત્યની સંપૂર્ણ ઊંડાણને સમજવા માટે સક્ષમ છે, પરંતુ કમ્પ્યુટર મગજ ક્યારેય સમજી શકતું નથી. તેથી, માનવ મગજ એ કમ્પ્યુટર સિવાય બીજું કંઈ છે. તે નિર્ણય લેવામાં સક્ષમ છે અને ટ્યુરિંગ ટેસ્ટ પાસ કરશે.
મને આશ્ચર્ય થાય છે કે શું હિલ્બર્ટને કોઈ ખ્યાલ હતો કે તેના પ્રશ્નો આપણને ક્યાં સુધી લઈ જશે?
કર્ટ GÖDEL
કર્ટ ગોડેલ, 1906-78
ઑસ્ટ્રિયન, પછી અમેરિકન ગણિતશાસ્ત્રી. બ્રુન (હવે બ્રાનો, ચેક રિપબ્લિક) માં જન્મેલા. તેમણે વિયેના યુનિવર્સિટીમાંથી સ્નાતક થયા, જ્યાં તેઓ ગણિતના વિભાગમાં શિક્ષક રહ્યા (1930 થી - પ્રોફેસર). 1931 માં તેમણે એક પ્રમેય પ્રકાશિત કર્યો જેને પાછળથી તેમનું નામ મળ્યું. એક સંપૂર્ણ અરાજકીય વ્યક્તિ હોવાને કારણે, તેને નાઝી વિદ્યાર્થી દ્વારા તેના મિત્ર અને વિભાગના સાથીદારની હત્યામાં ખૂબ જ મુશ્કેલ સમય લાગ્યો હતો અને તે ઊંડા હતાશામાં સરી પડ્યો હતો, જેનાથી તે આખી જીંદગી માટે ત્રાસી ગયો હતો. 1930 ના દાયકામાં તે યુએસએ સ્થળાંતર થયો, પરંતુ તેના વતન ઑસ્ટ્રિયા પાછો ફર્યો અને લગ્ન કર્યા. 1940 માં, યુદ્ધની ઊંચાઈએ, તેમને યુએસએસઆર અને જાપાન દ્વારા પરિવહનમાં અમેરિકા ભાગી જવાની ફરજ પડી હતી. તેમણે પ્રિન્સટન ઇન્સ્ટિટ્યૂટ ફોર એડવાન્સ્ડ સ્ટડીમાં થોડો સમય કામ કર્યું. કમનસીબે, વૈજ્ઞાનિકનું માનસ તેને સહન કરી શક્યું નહીં, અને તે ભૂખથી માનસિક ચિકિત્સકમાં મૃત્યુ પામ્યો, ખાવાનો ઇનકાર કર્યો, કારણ કે તેને ખાતરી હતી કે તેઓ તેને ઝેર આપશે.
| ટિપ્પણીઓ: 0 |
કુદરતી વિજ્ઞાનમાં વૈજ્ઞાનિક મોડેલ કેવી રીતે વિકસિત થાય છે? રોજિંદા અથવા વૈજ્ઞાનિક અનુભવો સંચિત થાય છે, તેના લક્ષ્યો કાળજીપૂર્વક પોસ્ટ્યુલેટ્સના સ્વરૂપમાં ઘડવામાં આવે છે અને મોડેલનો આધાર બનાવે છે: આ મોડેલના માળખામાં કામ કરતા દરેક વ્યક્તિ દ્વારા સ્વીકારવામાં આવેલા નિવેદનોનો સમૂહ.
એનાટોલી વાસરમેન
1930 માં, કર્ટ ગોડેલે બે પ્રમેય સાબિત કર્યા હતા, જે ગાણિતિક ભાષામાંથી માનવ ભાષામાં અનુવાદિત થાય છે, જેનો અર્થ અંદાજે નીચે મુજબ થાય છે: અંકગણિતને વ્યાખ્યાયિત કરવા માટે ઉપયોગમાં લઈ શકાય તેટલી સમૃદ્ધ સ્વયંસિદ્ધ પ્રણાલી કાં તો અપૂર્ણ અથવા વિરોધાભાસી હશે. સંપૂર્ણ સિસ્ટમ નથી - આનો અર્થ એ છે કે સિસ્ટમમાં એક નિવેદન ઘડી શકાય છે, જે આ સિસ્ટમ દ્વારા સાબિત અથવા અસ્વીકાર્ય કરી શકાતું નથી. પરંતુ ભગવાન, વ્યાખ્યા દ્વારા, બધા કારણોનું અંતિમ કારણ છે. ગણિતના દૃષ્ટિકોણથી, આનો અર્થ એ થાય છે કે ભગવાન વિશે સ્વયંસિદ્ધ પરિચય આપણા સમગ્ર સ્વયંસિદ્ધને સંપૂર્ણ બનાવે છે. જો ત્યાં ભગવાન છે, તો પછી કોઈપણ નિવેદન કાં તો સાબિત અથવા રદિયો આપી શકાય છે, એક રીતે અથવા બીજી રીતે, ભગવાનનો ઉલ્લેખ કરી શકાય છે. પરંતુ ગોડેલના મતે, સ્વયંસિદ્ધની સંપૂર્ણ સિસ્ટમ અનિવાર્યપણે વિરોધાભાસી છે. એટલે કે, જો આપણે માનીએ છીએ કે ભગવાન અસ્તિત્વમાં છે, તો આપણે એવા નિષ્કર્ષ પર આવવાની ફરજ પાડીએ છીએ કે પ્રકૃતિમાં વિરોધાભાસ શક્ય છે. અને કારણ કે ત્યાં કોઈ વિરોધાભાસ નથી, અન્યથા આ વિરોધાભાસથી આપણું આખું વિશ્વ ક્ષીણ થઈ જશે, આપણે એવા નિષ્કર્ષ પર પહોંચવું પડશે કે ભગવાનનું અસ્તિત્વ પ્રકૃતિના અસ્તિત્વ સાથે અસંગત છે.
સોસિન્સ્કી એ.બી.
સાપેક્ષતા, ક્વોન્ટમ મિકેનિક્સ અને ડીએનએની શોધ સાથે ગોડેલના પ્રમેયને સામાન્ય રીતે 20મી સદીની સૌથી મોટી વૈજ્ઞાનિક સિદ્ધિ તરીકે ગણવામાં આવે છે. શા માટે? તેનો સાર શું છે? તેનું મહત્વ શું છે? આ પ્રશ્નોને એલેક્સી બ્રોનિસ્લાવોવિચ સોસિન્સકી, ગણિતશાસ્ત્રી, સ્વતંત્ર મોસ્કો યુનિવર્સિટીના પ્રોફેસર, ફ્રેન્ચ રિપબ્લિકના ઓર્ડર ઓફ એકેડેમિક પામ્સના અધિકારી, ફ્રાન્સના વિજેતા, "પબ્લિક લેક્ચર્સ "Polit.ru" પ્રોજેક્ટના માળખામાં તેમના વ્યાખ્યાનમાં સંબોધવામાં આવ્યા છે. 2012 માં શિક્ષણ ક્ષેત્રે રશિયન સરકાર પુરસ્કાર. ખાસ કરીને, તેના ઘણા જુદા જુદા ફોર્મ્યુલેશન આપવામાં આવ્યા હતા, તેના પુરાવા માટે ત્રણ અભિગમો વર્ણવવામાં આવ્યા હતા (કોલ્મોગોરોવ, ચૈટીન અને ગોડેલ પોતે), અને ગણિત, ભૌતિકશાસ્ત્ર, કમ્પ્યુટર વિજ્ઞાન અને ફિલસૂફી માટે તેનું મહત્વ સમજાવવામાં આવ્યું હતું.
યુસ્પેન્સકી વી. એ.
આ વ્યાખ્યાન ગોડેલના અપૂર્ણતા પ્રમેયના સિન્ટેક્ટિક સંસ્કરણને સમર્પિત છે. ગોડેલે પોતે સુસંગતતા કરતાં વધુ મજબૂત ધારણાનો ઉપયોગ કરીને સિન્ટેક્ટિક સંસ્કરણ સાબિત કર્યું, એટલે કે કહેવાતા ઓમેગા સુસંગતતા.
યુસ્પેન્સકી વી. એ.
ઉનાળાની શાળા "આધુનિક ગણિત", ડુબના ખાતે પ્રવચનો.
હું કબૂલ કરું છું કે મેં એનાટોલી એલેક્ઝાન્ડ્રોવિચ વાસરમેન પાસેથી આ બાજુથી ભગવાનના અસ્તિત્વના પ્રશ્નને ધ્યાનમાં લેવાનો વિચાર વાંચ્યો છે:
http://ru.wikipedia.org/wiki/%D0%90%D0%BD%D0%B0%D1%82%D0%BE%D0%BB%D0%B8%D0%B9_%D0%90%D0 %BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80%D0%BE%D0%B2%D0%B8%D1%87_%D0%92 %D0%B0%D1%81%D1%81%D0%B5%D1%80%D0%BC%D0%B0%D0%BD#.D0.A0.D0.B5.D0.BB.D0.B8. D0.B3.D0.B8.D0.BE.D0.B7.D0.BD.D1.8B.D0.B5_.D0.B2.D0.B7.D0.B3.D0.BB.D1.8F.D0. B4.D1.8B
પરંતુ હું આ વિચારને વિકસાવવા અને તેને થોડી વધુ વિગતમાં વર્ણવવા માંગુ છું.
ધર્મમાં (તેમજ બિન-ધર્મમાં) બાંધકામની ચોક્કસ અક્ષયશાસ્ત્ર છે. ઓછામાં ઓછા એક આદર્શ કિસ્સામાં, જો આ માત્ર અંધ માન્યતા નથી, પરંતુ સભાન અને જાણકાર પસંદગી છે. ઉદાહરણ તરીકે, ભૌતિકશાસ્ત્રના સ્વયંસિદ્ધ ગણી શકાય "પ્રકૃતિ કારણ અને તાર્કિક નિષ્કર્ષ દ્વારા જાણી શકાય છે, ભૌતિકશાસ્ત્રના તમામ નિયમો અવકાશમાં અને કોઈપણ સમયે સમાન છે." ઉદાહરણ તરીકે, ધર્મના સ્વયંસિદ્ધ વિધાનને "ઈશ્વર અસ્તિત્વમાં છે અને તે બધી વસ્તુઓનું પ્રથમ કારણ છે." બીજા શબ્દોમાં કહીએ તો, તેમાં કોઈ શંકા નથી કે તમામ અસંખ્ય વિગતો અને શાખાઓને ઘણા મહત્વપૂર્ણ, અપ્રુવેબલ વિધાનોમાં ઘટાડી શકાય છે, જે તે ખૂબ જ સ્વયંસિદ્ધ છે.
ચાલો આ સ્થાનો પરથી ધાર્મિક માન્યતાઓને ધ્યાનમાં લઈએ. ધર્મનો સૌથી મહત્વપૂર્ણ સ્વતઃ: "ભગવાન અસ્તિત્વ ધરાવે છે અને તે બધી વસ્તુઓનું પ્રથમ કારણ છે."
હવે ચાલો એક સૌથી મહત્વપૂર્ણ ગાણિતિક પ્રમેય, ગોડેલનું પ્રમેય યાદ કરીએ.
http://elementy.ru/trefil/21142
નબળા ગોડેલનું પ્રમેય: "કોઈપણ ઔપચારિક પ્રણાલીમાં વણઉકેલાયેલી ધારણાઓ હોય છે" અથવા "જો સ્વયંસિદ્ધ પ્રણાલી પૂર્ણ હોય, તો તે અસંગત હોય છે."
ગોડેલનું મજબૂત પ્રમેય: "કોઈપણ સ્વયંસિદ્ધ પ્રણાલીની તાર્કિક પૂર્ણતા (અથવા અપૂર્ણતા) આ પ્રણાલીના માળખામાં સાબિત થઈ શકતી નથી. તેને સાબિત કરવા અથવા ખોટા સાબિત કરવા માટે, વધારાના સિદ્ધાંતોની જરૂર છે (સિસ્ટમને મજબૂત બનાવવી)."
ચાલો કેટલીક વ્યાખ્યાઓ યાદ કરીએ. સ્વયંસિદ્ધ પ્રણાલી પૂર્ણ થાય છે જો આપેલ સ્વયંસિદ્ધ પ્રણાલી માટે ઘડવામાં આવેલ કોઈપણ વિધાન સાબિત કરી શકાય તેવું હોય (એટલે કે, તે સાચું કે ખોટું છે). વણઉકેલાયેલી ધારણા એ એક નિવેદન છે જેના વિશે ન તો તેની સત્યતા કે ખોટી સાબિત થઈ શકે છે, એટલે કે, નિવેદન તાર્કિક રીતે સાબિત થઈ શકતું નથી. જો એક અને સમાન વિધાન સાચા અને ખોટા બંને સાબિત થઈ શકે તો સ્વયંસિદ્ધ પ્રણાલી વિરોધાભાસી છે.
ગોડેલના પ્રમેયમાંથી તે અનુસરે છે કે જો ભગવાનની વિભાવનાને સ્વયંસિદ્ધ પ્રણાલીમાં સમાવિષ્ટ કરવામાં આવે છે, તો આ સિસ્ટમ પૂર્ણ નથી, એટલે કે, એવા પરિણામો (અસાધારણ ઘટના) છે જે સાબિત કરી શકાતા નથી, એટલે કે, તેઓ અસ્તિત્વમાં હોઈ શકે છે અથવા ન પણ હોઈ શકે, આ સાબિત કરી શકાય તેવું નથી.
પરંતુ આ નીચેની બે જોગવાઈઓથી વિરોધાભાસી છે (જે સૌથી વધુ વિશ્વાસપાત્ર હોય તે પસંદ કરો): પ્રકૃતિમાં એવી ઘટનાઓ હોતી નથી કે જેને અસ્તિત્વમાં હોય અને અસ્તિત્વમાં ન હોય તેવી બંને પ્રકારની કુદરતી ઘટનાઓ અસ્તિત્વમાં હોય અથવા અસ્તિત્વમાં ન હોય; બીજી સ્થિતિ કહે છે કે, વ્યાખ્યા દ્વારા, ભગવાન દરેક વસ્તુનું મૂળ કારણ છે, તેથી ભગવાન કાં તો અમુક વસ્તુઓ (નિવેદનો) ના અસ્તિત્વ તરફ દોરી જાય છે અથવા તેમના અ-અસ્તિત્વ તરફ દોરી જાય છે, ભગવાનનો ઉલ્લેખ કરીને કોઈ પણ વિધાનને સાબિત અથવા ખોટી સાબિત કરી શકે છે. આ સિસ્ટમની અપૂર્ણતાનો વિરોધાભાસ કરે છે.
અથવા અન્ય. જો આપણે સ્વયંસિદ્ધ પ્રણાલીમાં ભગવાનની વિભાવનાનો સમાવેશ કરીએ અને ધારીએ કે તે પૂર્ણ છે (સિદ્ધાંતની સંપૂર્ણ પ્રણાલીમાં કોઈપણ નિવેદન સાબિત થઈ શકે છે), તો ગોડેલના પ્રમેય અનુસાર આવી સ્વયંસિદ્ધ પ્રણાલી વિરોધાભાસી હશે, એટલે કે, ઘટના હશે. જેના વિશે તે સાબિત કરી શકાય છે કે તે બંને અસ્તિત્વમાં છે અને અસ્તિત્વમાં નથી.
સ્વયંસિદ્ધની વિરોધાભાસી પ્રણાલીમાં ભગવાનનો સમાવેશ કરવાનો કોઈ અર્થ નથી, કારણ કે તે વિરોધાભાસી છે, એટલે કે, તેમાં એવી અસાધારણ ઘટનાઓ છે જે અસ્તિત્વમાં છે અને અસ્તિત્વમાં નથી તે બંને સાબિત કરી શકાય છે, જે કહ્યું તેમ, ભગવાનની પ્રકૃતિ અને ખ્યાલનો વિરોધાભાસ કરે છે.
છેવટે, જો સ્વયંસિદ્ધ પ્રણાલીમાં ભગવાનની વિભાવનાનો સમાવેશ કરવામાં આવ્યો નથી, તો તેને બ્રહ્માંડનો મૂળભૂત આધાર ગણી શકાય નહીં, જેમાંથી અસ્તિત્વમાં રહેલી દરેક વસ્તુ અનુસરે છે, જે આવશ્યકપણે ભગવાનની વ્યાખ્યાનો વિરોધાભાસ કરે છે.
આ પુરાવાની માન્યતા માટે, ગાણિતિક તર્કશાસ્ત્ર (પ્રપોઝિશનલ લોજિક + પ્રિડિકેટ કેલ્ક્યુલસ) ના નિયમોની માન્યતાને ઓળખવી જરૂરી છે, જે પરિણામ, સત્ય, અસત્યતા, અસંગતતા, નિવેદનોની સુસંગતતા અને અન્ય નિયમો સ્થાપિત કરવાનું શક્ય બનાવે છે. ગુણધર્મો અને નિવેદનો વચ્ચેના સંબંધો.
જો આપણે એમ માની લઈએ કે ઈશ્વરના અસ્તિત્વના પ્રશ્નના અભ્યાસ માટે ગાણિતિક તર્ક લાગુ પડતો નથી, તો પરિણામ એ આવશે કે આ પ્રશ્નનો અભ્યાસ તર્કની મદદથી, તર્કની મદદથી શક્ય નથી. બીજા શબ્દોમાં કહીએ તો, સુસંગત કારણ હંમેશા ઈશ્વરના અસ્તિત્વના પ્રશ્નના નકારાત્મક જવાબમાં આવે છે.
અંતે શું થાય છે... કોઈપણ દૂરથી પણ તર્કસંગત વ્યક્તિ, અલબત્ત, તર્કશાસ્ત્રના નિયમોની માન્યતાને ઓળખે છે, જેનો અર્થ છે કે તે હંમેશાં એવા નિષ્કર્ષ પર પહોંચે છે કે "બધી વસ્તુઓનું કારણ" ની વ્યાખ્યામાં ઈશ્વર અસ્તિત્વમાં નથી. . એક બિન-તર્કસંગત વ્યક્તિ જે દાવો કરે છે કે ભગવાનને ફક્ત લાગણીઓ (અને કારણથી નહીં) દ્વારા ઓળખવામાં આવે છે, અલબત્ત, તે કહી શકે છે, પરંતુ આની અન્ય લાગણીઓને સમજાવવાની કોઈ રીત નથી; તદુપરાંત, ભગવાનની વિભાવના એ તર્ક દ્વારા ઘડવામાં આવેલ ખ્યાલ છે. કારણની વિભાવનાને સંવેદનામાં કેવી રીતે અનુવાદિત કરવાની દરખાસ્ત કરવામાં આવે છે, અને તે પણ એવી રીતે કે તે અન્ય વ્યક્તિ સુધી પહોંચાડી શકાય, તે સ્પષ્ટ નથી. ફરીથી, એક અંશે તર્કસંગત વ્યક્તિ પણ કહેશે કે આ શક્ય નથી: કારણની અમૂર્ત ખ્યાલને અનુભૂતિમાં અનુવાદિત કરો અને તેને અનુભવો.
અંતે, બીજો વિકલ્પ છે: "ભગવાન દરેક વસ્તુનું પ્રથમ કારણ નથી." પછી આવા વિરોધાભાસો ઉભા થતા નથી, જો કે, આ ધર્મની સ્થિતિની નોંધપાત્ર નબળાઇ છે, કારણ કે તે ચોક્કસ હકીકત છે કે ભગવાને દરેક વસ્તુનું સર્જન કર્યું છે, કે ભગવાન બધા સિદ્ધાંતોની શરૂઆત છે, તે ધર્મના અસંખ્ય નિવેદનોનો પાયો છે અને વિવાદોમાં સમર્થન.
પી.એસ. ભૌતિકશાસ્ત્રીઓ માટે રસપ્રદ, એક વધુ વિચિત્ર બાબત નોંધવી યોગ્ય છે. ભગવાનની આ વ્યાખ્યા તેની તર્કસંગતતા વિશે કશું કહેતી નથી. એટલે કે, કોઈ ઉમેરી શકે છે "ભગવાન એ બધી વસ્તુઓનું તર્કસંગત કારણ છે," પરંતુ આ વ્યાખ્યાની સંકુચિતતા છે, જે શરૂઆતમાં પુરાવા માટે જરૂરી નથી. તર્કસંગતતા વિના, "ઈશ્વર" ની વિભાવનાને સરળતાથી "એકવચન અને મહાવિસ્ફોટ એ બધી વસ્તુઓનું કારણ છે" દ્વારા બદલી શકાય છે. અને જવાબ એક જ હશે: એકલતા અને બિગ બેંગ એ અસ્તિત્વમાં છે તે દરેક વસ્તુનું મૂળ કારણ નથી.
આનાથી પણ વધુ અમૂર્તતા હાથ ધરીને, આપણે કહી શકીએ કે એક પણ ઘટના અથવા કારણ બધી વસ્તુઓનું મૂળ કારણ ન હોઈ શકે, એટલે કે, મૂળ કારણ સિદ્ધાંતમાં અસ્તિત્વમાં નથી. કોઈપણ અક્ષીય વિજ્ઞાનના માળખામાં તર્ક જોતાં, વ્યક્તિ નિષ્કર્ષ પર આવી શકે છે કે દરેક વસ્તુનું મૂળ કારણ અસ્તિત્વમાં નથી. તેને ખૂબ જ સરળ રીતે કહીએ તો, આપણે બ્રહ્માંડને ગમે તેટલી મૂળભૂત રીતે સમજીએ તો પણ, પ્રશ્નો હંમેશા આની ભાવનામાં રહેશે: “બિગ બેંગ ક્યાંથી આવ્યો, એકલતા ક્યાંથી આવી, ધબકતું બ્રહ્માંડ ક્યાંથી આવ્યું, ક્યાંથી આવ્યું? મલ્ટિવર્સમાંથી આવે છે, શા માટે બ્રહ્માંડ હંમેશા અસ્તિત્વમાં છે?" વગેરે દરેક વસ્તુનું મૂળ કારણ સૈદ્ધાંતિક રીતે શોધી શકાતું નથી; તેથી, વ્યક્તિ માટે આ તેની ગેરહાજરી સમાન છે. સૈદ્ધાંતિક રીતે, કોઈ વ્યક્તિ આપણા બ્રહ્માંડની બહાર બહારના નિરીક્ષકનું અસ્તિત્વ ધારણ કરી શકે છે, જે આ પ્રશ્નનો જવાબ આપશે કે બધું ક્યાંથી આવ્યું (તે જ વધારાના સ્વયંસિદ્ધ, ગોડેલના પ્રમેયમાં એક વિસ્તરણ), પરંતુ પછી પ્રશ્ન ઊભો થશે કે બહારના નિરીક્ષક, તેના બ્રહ્માંડ અને આ બધાનું મૂળ કારણ અહીંથી આવ્યું છે.
સાબિતીનો વિચાર એક અભિવ્યક્તિ રચવાનો છે જે તેને સૂચવે છે
પોતાની અયોગ્યતા. આ બાંધકામ ત્રણ તબક્કામાં કરી શકાય છે:
પ્રથમ તબક્કો ઔપચારિક અંકગણિત અને પૂર્ણાંકોના સમૂહ (ગોડેલાઇઝેશન) વચ્ચેના પત્રવ્યવહારની સ્થાપના છે;
બીજો તબક્કો અમુક વિશેષ ગુણધર્મનું નિર્માણ છે જેના વિશે તે અજ્ઞાત છે કે તે ઔપચારિક અંકગણિતનું પ્રમેય છે કે નહીં;
ત્રીજો તબક્કો એ પોતાની સાથે સંકળાયેલ ચોક્કસ પૂર્ણાંકની x ની જગ્યાએ અવેજી છે, એટલે કે, આ સંખ્યાઓ સાથે તમામની બદલી
પ્રથમ તબક્કો. ઔપચારિક અંકગણિતનું જીડેલાઇઝેશન
ઔપચારિક અંકગણિત નીચેની રીતે અંકગણિત (એટલે કે, ગોડેલાઇઝ્ડ) કરી શકાય છે: તેના દરેક પ્રમેય ચોક્કસ સંખ્યા સાથે સંકળાયેલા છે. જો કે, દરેક સંખ્યા પણ એક પ્રમેય છે, તેથી દરેક પ્રમેયને એક તરફ, ઔપચારિક અંકગણિતના પ્રમેય તરીકે અને બીજી તરફ, ઔપચારિક અંકગણિતના પ્રમેયના સમૂહ પર એક પ્રમેય તરીકે, એટલે કે, ગણી શકાય. ચોક્કસ પ્રમેયના પુરાવાને અનુરૂપ મેટાથિયોરેમ.
આમ, આપણે નિષ્કર્ષ પર આવી શકીએ છીએ કે ઔપચારિક અંકગણિતની સિસ્ટમમાં તેની પોતાની મેટાસિસ્ટમ પણ છે.
હવે અમે પ્રાપ્ત પરિણામોને વધુ ચોક્કસ અને વિગતવાર રજૂ કરીશું.
સૌપ્રથમ, અમે દરેક પ્રતીક અને ઔપચારિક અંકગણિત સાથે એક વિશિષ્ટ કોડ હોદ્દો સાંકળી શકીએ છીએ, જેને આ કિસ્સામાં Gödel નંબર કહેવાય છે.
બીજું, અમે કેટલાક કમ્પોઝિશન ફંક્શનનો ઉપયોગ કરીને પ્રતીકોના દરેક ક્રમને સમાન ગોડેલ નંબર સાથે સાંકળીએ છીએ
ત્રીજે સ્થાને (અને આ આવશ્યક છે), સ્વયંસિદ્ધ અને અવેજી નિયમો (અથવા અવેજી નિયમો) ના ક્રમનો પ્રત્યેક પુરાવો એવી સંખ્યા સાથે સંકળાયેલો છે જ્યાં સાબિતીમાં વપરાતા પ્રમેયના ક્રમને સૂચવે છે.
આમ, ઔપચારિક અંકગણિતમાં દરેક સાબિતી ચોક્કસ સંખ્યાને અનુલક્ષે છે - તેની Gödel નંબર ઔપચારિક અંકગણિતમાં કોઈપણ તર્ક કુદરતી સંખ્યાઓના સમૂહ પરની ગણતરીમાં પરિવર્તિત થાય છે.
તેથી, પ્રતીકો, પ્રમેય અને પુરાવાઓની હેરફેર કરવાને બદલે, તમે ઉપયોગ કરી શકો છો
પૂર્ણાંકોના સમૂહ પર ગણતરીઓ. કોઈપણ અભિવ્યક્તિ જેમ કે, ઉદાહરણ તરીકે, નીચે આપેલ: “ઔપચારિક અંકગણિતમાં સાબિત” હવે ચોક્કસ સંખ્યાને અનુરૂપ છે, જેને આપણે આ રીતે સૂચિત કરીશું
ચાલો નીચેની સ્થિતિ બનાવીએ.
ઔપચારિક મેટારિથમેટિક કુદરતી સંખ્યાઓના સમૂહમાં સમાયેલ છે, જે પોતે ઔપચારિક અંકગણિતના અર્થઘટનમાં સમાયેલ છે.
ઔપચારિક અંકગણિત સાથેની આ પરિસ્થિતિ કુદરતી ભાષા સાથેની પરિસ્થિતિની યાદ અપાવે છે: છેવટે, તેમાં તેના મૂળભૂત ખ્યાલો અને નિયમો ઘડવા માટે અમને તેનો ઉપયોગ કરવાથી કંઈપણ અટકાવતું નથી.
કાર્યની યોગ્ય પસંદગી A થી અસંદિગ્ધ સંક્રમણ માટે પરવાનગી આપે છે, એટલે કે, બે અલગ-અલગ પુરાવાઓને બે અલગ-અલગ સંખ્યાઓ સોંપવી. ઉદાહરણ તરીકે, કોઈ વ્યક્તિ Gödel નંબરો પસંદ કરી શકે છે જેથી કરીને ઔપચારિક અંકગણિતના મૂળાક્ષરોનું દરેક પ્રતીક તેની પોતાની અવિભાજ્ય સંખ્યાને અનુરૂપ હોય, ઉદાહરણ તરીકે, કોષ્ટકમાં બતાવ્યા પ્રમાણે. 3.2.
કોષ્ટક 3.2
દરેક સૂત્ર (1 થી બદલાતા પ્રતીકોનો સમાવેશ થાય છે તે બદલામાં પ્રથમ અવિભાજ્ય સંખ્યાઓનો સમાવેશ કરતા ક્રમ દ્વારા એન્કોડ કરવામાં આવે છે, એટલે કે સંખ્યા
અવિભાજ્ય સંખ્યા ક્યાં છે.
બદલામાં, સાબિતી, એટલે કે સૂત્રોનો ક્રમ નંબર સાથે સમાન રીતે એન્કોડ કરવામાં આવશે.
અને ઊલટું, સંખ્યાઓ બનાવવાની આ પદ્ધતિને આભારી છે, ચોક્કસ સંખ્યાથી શરૂ કરીને, તેના વિઘટનને અવિભાજ્ય પરિબળોમાં ઉપયોગ કરીને (પ્રાકૃતિક સંખ્યાઓના અવિભાજ્ય સંખ્યાઓની શક્તિઓના ઉત્પાદનમાં વિઘટનની વિશિષ્ટતાને કારણે) પાછા ફરવાનું શક્ય બને છે. ઘાતાંકના બે પગલામાં, એટલે કે આદિમ પ્રતીકો માટે ઔપચારિક અંકગણિત. અલબત્ત, આ મોટે ભાગે માત્ર સૈદ્ધાંતિક છે, કારણ કે સંખ્યાઓ ઝડપથી ખૂબ મોટી થઈ જાય છે
જેથી તેઓની હેરફેર કરી શકાય. જો કે, એ નોંધવું જોઇએ કે આ ઓપરેશનની મૂળભૂત શક્યતા જરૂરી છે.
ઉદાહરણ. અમુક પુરાવાને અનુરૂપ અને અવિભાજ્ય સંખ્યાઓના ગુણાંકને રજૂ કરતી સંખ્યા T આપવા દો:
આ વિસ્તરણનો અર્થ એ છે કે પ્રમેયના પુરાવામાં બે તબક્કાઓ શામેલ છે: એક નંબર 1981027125 253 ને અનુરૂપ છે, અને બીજો નંબર 1981027125 211 ને અનુરૂપ છે. આ દરેક સંખ્યાને ફરીથી અવિભાજ્ય પરિબળમાં ફેક્ટર કરવાથી આપણને મળે છે.
ઔપચારિક અંકગણિતના મૂળાક્ષરો કોડિંગ કોષ્ટક (કોષ્ટક 3.2) પરથી આપણે શોધી કાઢીએ છીએ કે આ બે સંખ્યાઓ માટેના અમારા ગોડેલ નંબરો
નીચેના પુરાવા અનુરૂપ હશે:
સૂત્રમાંથી સૂત્રને અનુસરે છે
આમ, મેટારિથમેટિકમાં, મૂળ સંખ્યાનું મૂલ્ય ઔપચારિક અંકગણિતમાંથી મેળવવામાં આવે છે.
બીજો તબક્કો. ગોડેલની લેમ્મા
સાબિતી સાથે સંકળાયેલ દરેક સંખ્યા T એ ઔપચારિક અંકગણિતમાં સાબિત થઈ શકે તેવા પ્રમેયને અનુરૂપ છે. "ગોડેલાઇઝ્ડ" ઔપચારિક અંકગણિતને અંકગણિત ઔપચારિક અંકગણિત કહેવામાં આવે છે. દરેક સ્વયંસિદ્ધ અને અંકગણિત ઔપચારિક અંકગણિતનો દરેક નિયમ અમુક અંકગણિત કામગીરીને અનુરૂપ હોવાથી, પછી વ્યવસ્થિત પરીક્ષણનો ઉપયોગ કરીને તે નક્કી કરવું શક્ય છે કે આપેલ સંખ્યા T અમુક પ્રમેય સંખ્યા T ના પુરાવાને અનુરૂપ છે કે કેમ અને આ કિસ્સામાં સંયોજકની જોડી બનાવે છે સંખ્યાઓ અભિવ્યક્તિ અને સંયોજક છે” અંકગણિત ઔપચારિક અંકગણિતમાં જ પ્રસ્તુત છે. આનો અર્થ એ છે કે ત્યાં એક Gödel નંબર છે જે આ નિવેદનને ડિજિટલ રીતે વ્યક્ત કરે છે.
અમે ગોડેલના પુરાવાના નિર્ણાયક તબક્કે પહોંચી ગયા છીએ. A એ અંકગણિત ઔપચારિક અંકગણિતની અભિવ્યક્તિ છે જેમાં કેટલાક મુક્ત ચલ છે. તેના બદલે, તમે અમુક શબ્દ બદલી શકો છો. ખાસ કરીને, તમે અભિવ્યક્તિ A ને અભિવ્યક્તિ A સાથે બદલી શકો છો આ કિસ્સામાં, સંખ્યા-અભિવ્યક્તિ A એક સાથે બે અલગ અલગ ભૂમિકાઓ કરે છે (ઉપર જુઓ
કેન્ટર અને રિચાર્ડ): તે અવેજી અને પરિણામી શબ્દ બંને માટે સાચી અભિવ્યક્તિ છે. અમે આ વિશિષ્ટ અવેજી તરીકે સૂચિત કરીશું તેથી સૂત્રનો અર્થ એ છે કે સંખ્યા એ અવેજીકરણ કરીને મેળવેલ Gödel નંબર છે - અભિવ્યક્તિ A માટે:
ગોડેલ પછી એક અભિવ્યક્તિ બનાવે છે (જે અજ્ઞાત છે કે તે પ્રમેય છે કે બિન-પ્રમેય) જેમાં તે આ અવેજીને રજૂ કરે છે. અભિવ્યક્તિ આના જેવો દેખાય છે:
ત્રીજો તબક્કો. અંતિમ અવેજી
અંકગણિત ઔપચારિક અંકગણિતમાં, આ અભિવ્યક્તિ ડિજિટલ સ્વરૂપમાં રજૂ થાય છે. ચાલો E તેનો Gödel નંબર છે. અભિવ્યક્તિમાં ફ્રી વેરિયેબલ હોવાથી, અમને અવેજી કરવાનો અધિકાર છે - નંબર E ને બદલીને અને સૂચિત કરવા પર - અવેજી E:
અમે આ બીજી અભિવ્યક્તિને a દ્વારા અને તેના Gödel નંબરને E દ્વારા દર્શાવીએ છીએ. ચાલો સમીકરણ e નું અર્થઘટન આપીએ.
પ્રથમ અર્થઘટન. એવી કોઈ જોડી નથી કે જેના માટે નીચેની બાબતો એકસાથે હોય: એક તરફ, T એ પ્રમેયના અંકગણિત પુરાવાની સંખ્યા છે, અને બીજી બાજુ, ત્યાં એક અવેજી હશે અન્યની જેમ સમાન રૂપાંતરણ, તે શરતોમાં અને તેમના કોડ હોદ્દાઓમાં રજૂ કરી શકાય છે - Gödel નંબર્સ અને તેથી, આવી સંખ્યા અસ્તિત્વમાં છે. પછી કદાચ T નંબર અસ્તિત્વમાં નથી.
બીજું અર્થઘટન. T પ્રમેયનો કોઈ અંકગણિત પુરાવો નથી કે જે E નું -રિપ્લેસમેન્ટ હશે. તેથી, જો કોઈ સાબિતી ન હોય, તો તે એટલા માટે છે કારણ કે તે પોતે એક પ્રમેય નથી. આ ત્રીજા અર્થઘટન તરફ દોરી જાય છે.
ત્રીજું અર્થઘટન. એક અભિવ્યક્તિ કે જેના માટે Gödel નંબર છે -અવેજી E એ અંકગણિત ઔપચારિક અંકગણિતનું પ્રમેય નથી. પરંતુ આ તે છે જ્યાં વિરોધાભાસ છે, કારણ કે બાંધકામ દ્વારા તે પોતે જ E નું -રિપ્લેસમેન્ટ છે અને સંખ્યા, બાંધકામ દ્વારા, સંખ્યા E સિવાય બીજું કંઈ નથી અહીંથી e નું અંતિમ અર્થઘટન થાય છે.
