http://212.24.105.57:9989/index.php?action=history&feed=atom&title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC 2026-04-25T03:19:37Z Уикидеги бул барактын өзгөртүү тарыхы MediaWiki 1.40.0 http://212.24.105.57:9989/index.php?title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC&diff=13470&oldid=prev 2025-01-22T04:27:20Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ky"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Мурунку нускасы</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">04:27, 22 Январь (Үчтүн айы) 2025 -деги абалы</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">1 сап:</td> <td colspan="2" class="diff-lineno">1 сап:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''ГЕ&amp;#769;ДЕЛЬ''' (Gцdel) <del style="font-weight: bold; text-decoration: none;">'''</del>Курт<del style="font-weight: bold; text-decoration: none;">''' </del>(28.4.1906, Брюнн (Брно) – 14.1.1978, Принстон) – австриялык логик ж-а математик, ''Вена ийриминин'' катышуучусу. Математикалык логика, көптүктөр теориясы боюнча зор маанилү натыйжаларга жетишкен. Гедель ээ болгон эӊ маанилү натыйжа – мол мүмкүнчүлүктөрү бар формалдуу системалардын (анын  ичинде натуралык сандар арифметикасы, аксиомалык көптүктөр теориясы) толук эместигинин далили Геделдин эӊ атактуу теоремасы – бул илимий билимдерди толук бойдон формалдаштыруунун мүмкүн эместиги ж-а карама-каршылыксыздыгы. Биринчи теоремасы боюнча, эгер арифметикалык формалдык системада карама-каршылык болбосо, анда ал толук эмес. Экинчиси боюнча, эгер формалдык система карама-каршылыксыз болсо, анда анын карама-каршы эместигин системанын ичинде формалдашкан каражаттар м-н далилдөө мүмкүн эмес. Бул теоремаларга математикалык логиканын, далилдөө теориясынын алкагында ж-а ошондой эле методологиялык ж-а гносеологиялык мүнөздөгү бүтүмдөрдүн көпчүлүгү негизденет. Конструкциялуу логиканын, ошондой эле математикалык логиканын башка бөлүмдөрүндөгү моделдер теориясы да Геделге таандык.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''ГЕ&amp;#769;ДЕЛЬ''' (Gцdel) Курт (28.4.1906, Брюнн (Брно) – 14.1.1978, Принстон) – австриялык логик ж-а математик, ''Вена ийриминин'' катышуучусу. Математикалык логика, көптүктөр теориясы боюнча зор маанилү натыйжаларга жетишкен. Гедель ээ болгон эӊ маанилү натыйжа – мол мүмкүнчүлүктөрү бар формалдуу системалардын (анын  ичинде натуралык сандар арифметикасы, аксиомалык көптүктөр теориясы) толук эместигинин далили Геделдин эӊ атактуу теоремасы – бул илимий билимдерди толук бойдон формалдаштыруунун мүмкүн эместиги ж-а карама-каршылыксыздыгы. Биринчи теоремасы боюнча, эгер арифметикалык формалдык системада карама-каршылык болбосо, анда ал толук эмес. Экинчиси боюнча, эгер формалдык система карама-каршылыксыз болсо, анда анын карама-каршы эместигин системанын ичинде формалдашкан каражаттар м-н далилдөө мүмкүн эмес. Бул теоремаларга математикалык логиканын, далилдөө теориясынын алкагында ж-а ошондой эле методологиялык ж-а гносеологиялык мүнөздөгү бүтүмдөрдүн көпчүлүгү негизденет. Конструкциялуу логиканын, ошондой эле математикалык логиканын башка бөлүмдөрүндөгү моделдер теориясы да Геделге таандык.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category: 2-том]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category: 2-том]]</div></td></tr> </table>

Dilde http://212.24.105.57:9989/index.php?title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC&diff=11310&oldid=prev 2024-08-16T09:27:23Z

<p>Temirkan moved page <a href="/index.php?title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC_(&amp;action=edit&amp;redlink=1" class="new" title="ГЕДЕЛЬ ( (мындай барак жок)">ГЕДЕЛЬ (</a> to <a href="/index.php/%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC" title="ГЕДЕЛЬ">ГЕДЕЛЬ</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="ky"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Мурунку нускасы</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">09:27, 16 Август (Баш оона) 2024 -деги абалы</td> </tr><tr><td colspan="2" class="diff-notice" lang="ky"><div class="mw-diff-empty">(Айырма жок)</div> </td></tr></table>

Temirkan http://212.24.105.57:9989/index.php?title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC&diff=11309&oldid=prev 2024-08-16T09:27:08Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ky"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Мурунку нускасы</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">09:27, 16 Август (Баш оона) 2024 -деги абалы</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">1 сап:</td> <td colspan="2" class="diff-lineno">1 сап:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''ГЕ&amp;#769;ДЕЛЬ <del style="font-weight: bold; text-decoration: none;">(</del>''' Gцdel) Курт (28.4.1906, Брюнн (Брно) – 14.1.1978, Принстон) – австриялык логик ж-а математик, ''Вена ийриминин'' катышуучусу. <del style="font-weight: bold; text-decoration: none;">Матем. </del>логика, көптүктөр теориясы <del style="font-weight: bold; text-decoration: none;">б-ча </del>зор маанилү натыйжаларга жетишкен. <del style="font-weight: bold; text-decoration: none;">Г. </del>ээ болгон эӊ маанилү натыйжа – мол мүмкүнчүлүктөрү бар формалдуу системалардын (<del style="font-weight: bold; text-decoration: none;">а. и. </del>натуралык сандар арифметикасы, аксиомалык көптүктөр теориясы) толук эместигинин далили <del style="font-weight: bold; text-decoration: none;">Г-дин </del>эӊ атактуу теоремасы – бул <del style="font-weight: bold; text-decoration: none;">ил. </del>билимдерди толук бойдон формалдаштыруунун мүмкүн эместиги ж-а карама-каршылыксыздыгы. Биринчи теоремасы <del style="font-weight: bold; text-decoration: none;">б-ча</del>, эгер <del style="font-weight: bold; text-decoration: none;">арифм. </del>формалдык системада карама-каршылык болбосо, анда ал толук эмес. Экинчиси <del style="font-weight: bold; text-decoration: none;">б-ча</del>, эгер формалдык система карама-каршылыксыз болсо, анда анын карама-каршы эместигин системанын ичинде формалдашкан каражаттар м-н далилдөө мүмкүн эмес. Бул теоремаларга <del style="font-weight: bold; text-decoration: none;">матем. </del>логиканын, далилдөө теориясынын алкагында ж-а <del style="font-weight: bold; text-decoration: none;">о. </del>эле методологиялык ж-а гносеологиялык мүнөздөгү бүтүмдөрдүн көпчүлүгү негизденет. <del style="font-weight: bold; text-decoration: none;">Констр-луу </del>логиканын, <del style="font-weight: bold; text-decoration: none;">о. </del>эле <del style="font-weight: bold; text-decoration: none;">матем. </del>логиканын башка бөлүмдөрүндөгү моделдер теориясы да <del style="font-weight: bold; text-decoration: none;">Г-ге </del>таандык.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''ГЕ&amp;#769;ДЕЛЬ''' <ins style="font-weight: bold; text-decoration: none;">(</ins>Gцdel) <ins style="font-weight: bold; text-decoration: none;">'''</ins>Курт<ins style="font-weight: bold; text-decoration: none;">''' </ins>(28.4.1906, Брюнн (Брно) – 14.1.1978, Принстон) – австриялык логик ж-а математик, ''Вена ийриминин'' катышуучусу. <ins style="font-weight: bold; text-decoration: none;">Математикалык </ins>логика, көптүктөр теориясы <ins style="font-weight: bold; text-decoration: none;">боюнча </ins>зор маанилү натыйжаларга жетишкен. <ins style="font-weight: bold; text-decoration: none;">Гедель </ins>ээ болгон эӊ маанилү натыйжа – мол мүмкүнчүлүктөрү бар формалдуу системалардын (<ins style="font-weight: bold; text-decoration: none;">анын  ичинде </ins>натуралык сандар арифметикасы, аксиомалык көптүктөр теориясы) толук эместигинин далили <ins style="font-weight: bold; text-decoration: none;">Геделдин </ins>эӊ атактуу теоремасы – бул <ins style="font-weight: bold; text-decoration: none;">илимий </ins>билимдерди толук бойдон формалдаштыруунун мүмкүн эместиги ж-а карама-каршылыксыздыгы. Биринчи теоремасы <ins style="font-weight: bold; text-decoration: none;">боюнча</ins>, эгер <ins style="font-weight: bold; text-decoration: none;">арифметикалык </ins>формалдык системада карама-каршылык болбосо, анда ал толук эмес. Экинчиси <ins style="font-weight: bold; text-decoration: none;">боюнча</ins>, эгер формалдык система карама-каршылыксыз болсо, анда анын карама-каршы эместигин системанын ичинде формалдашкан каражаттар м-н далилдөө мүмкүн эмес. Бул теоремаларга <ins style="font-weight: bold; text-decoration: none;">математикалык </ins>логиканын, далилдөө теориясынын алкагында ж-а <ins style="font-weight: bold; text-decoration: none;">ошондой </ins>эле методологиялык ж-а гносеологиялык мүнөздөгү бүтүмдөрдүн көпчүлүгү негизденет. <ins style="font-weight: bold; text-decoration: none;">Конструкциялуу </ins>логиканын, <ins style="font-weight: bold; text-decoration: none;">ошондой </ins>эле <ins style="font-weight: bold; text-decoration: none;">математикалык </ins>логиканын башка бөлүмдөрүндөгү моделдер теориясы да <ins style="font-weight: bold; text-decoration: none;">Геделге </ins>таандык.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category: 2-том]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category: 2-том]]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2" class="diff-side-added"></td></tr> </table>

Temirkan http://212.24.105.57:9989/index.php?title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC&diff=5532&oldid=prev 2024-03-25T10:51:25Z

<p>1 версия</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="ky"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Мурунку нускасы</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">10:51, 25 Март (Жалган куран) 2024 -деги абалы</td> </tr><tr><td colspan="2" class="diff-notice" lang="ky"><div class="mw-diff-empty">(Айырма жок)</div> </td></tr></table>

Kadyrm http://212.24.105.57:9989/index.php?title=%D0%93%D0%95%D0%94%D0%95%D0%9B%D0%AC&diff=5531&oldid=prev 2024-03-25T08:13:00Z

<p></p> <p><b>Жаңы барак</b></p><div>&#039;&#039;&#039;ГЕ&amp;#769;ДЕЛЬ (&#039;&#039;&#039; Gцdel) Курт (28.4.1906, Брюнн (Брно) – 14.1.1978, Принстон) – австриялык логик ж-а математик, &#039;&#039;Вена ийриминин&#039;&#039; катышуучусу. Матем. логика, көптүктөр теориясы б-ча зор маанилү натыйжаларга жетишкен. Г. ээ болгон эӊ маанилү натыйжа – мол мүмкүнчүлүктөрү бар формалдуу системалардын (а. и. натуралык сандар арифметикасы, аксиомалык көптүктөр теориясы) толук эместигинин далили Г-дин эӊ атактуу теоремасы – бул ил. билимдерди толук бойдон формалдаштыруунун мүмкүн эместиги ж-а карама-каршылыксыздыгы. Биринчи теоремасы б-ча, эгер арифм. формалдык системада карама-каршылык болбосо, анда ал толук эмес. Экинчиси б-ча, эгер формалдык система карама-каршылыксыз болсо, анда анын карама-каршы эместигин системанын ичинде формалдашкан каражаттар м-н далилдөө мүмкүн эмес. Бул теоремаларга матем. логиканын, далилдөө теориясынын алкагында ж-а о. эле методологиялык ж-а гносеологиялык мүнөздөгү бүтүмдөрдүн көпчүлүгү негизденет. Констр-луу логиканын, о. эле матем. логиканын башка бөлүмдөрүндөгү моделдер теориясы да Г-ге таандык.<br /> [[Category: 2-том]]<br /> </div>

vol2_>KadyrM