Шляхи розширення метатеоріі

Ми обговоримо тепер можливості формалістской програми обгрунтування математики, яка була запропонована Д. Гильбертом. Метою обгрунтування математики є тут не редукція до логіки або до арифметики, а обгрунтування несуперечності кожної теорії окремо. Оскільки ми прийняли, що таке розуміння обгрунтування математики є найбільш відповідним суті проблеми, то мова повинна йти тут не про пристосування цієї програми до нових завдань, а лише про шляхи збільшення її ефективності.

Загальний задум Гільберта полягав у тому, щоб обгрунтувати несуперечливість математичної теорії на основі міркувань в іншій математичній теорії (метатеорії), яка є несуперечливої за складом своїх принципів. Очевидно, що ефективність формалістской програми залежить від дедуктивних можливостей метатеоріі і може бути збільшена лише за допомогою її раціоналізації, сумісною зі строгістю обгрунтовуючих міркування.

Інформація, релевантна " Шляхи розширення метатеоріі "

1. 5. Вічний інтерес, вічні суперечки Іван Грозний і Петро Великий
   Особистість і діяльність царя Івана IV Грозного викликала і донині викликає в істориків вкрай суперечливі оцінки. Багато в чому це пояснюється складністю самого історичного матеріалу. Правління Івана Васильовича (1547-1584) вмістило в себе розвиток російської централізованої держави, великі адміністративні реформи і страшний терор опричнини, перемоги над Казанським і Астраханським
   
2. Петро Великий
   Суперечки про особистості та діяльності Петра I так само, як і суперечки про особистості та діяльності Івана IV, почали вже сучасники. Автором цілого ряду історичних та історико-філософських трактатів стали сподвижники імператора Ф. Прокопович, П. Шафіров, А. Манкієв та ін Феофан Прокопович був помітним політичним діячем, одним із засновників Синоду, яскравим публіцистом. Такі його роботи, як «Слово про
   
3. 4. Зміст, рушійні сили і етапи визвольного руху в X IX столітті
   Однією з найбільш укорінених догм в історичній науці була ленінська періодизація визвольного руху. Десятки років покоління радянських людей сприймали ленінську схему, що характеризується насамперед двома тезами: 1) визвольний рух - це революційний рух, 2) воно проходить три етапи-дворянський (1825-1861 рр..), Разночинский (18611895 рр..) І пролетарський (1895 -1917 рр..) в
   
4. 1.Економіка і соціальна структура
   Розвиток капіталізму в Росії та інших країнах породило проблему його типології. Сучасна методологія розгорнула цю проблему в концепцію трьох ешелонів. Відповідно до цієї концепції можна говорити про три моделі (ешелонах) розвитку світового капіталізму: - ешелон розвиненого, класичного капіталізму - Англія, Франція, США, Канада, Австралія; - ешелон становлення буржуазних відносин в переплетенні з
   
5. 5 . Громадянська війна. Політика «воєнного комунізму» (1917-1921 рр..)
   До середини 80-х років у радянській історіографії історія громадянської війни незмінно розглядалася з позицій звитяжних переможців - «червоних» над «білими» та іноземними інтервентами . А в сталінський час вона була наповнена чималим числом міфів і легенд і одночасно умовчаннями про дійсні події, полководців і воєначальників. У військово-історичних дослідженнях, як правило, не
   
6. 2. Індусгріалізація: здобутки та витрати
   Індустріалізація країни була ключовим завданням будівництва соціалізму в СРСР. У 1946 р. І.В. Сталін, говорячи про корінних відмінностях радянського методу індустріалізації від капіталістичного, назвав одне з таких відмінностей: в капіталістичних країнах індустріалізація зазвичай починається з легкої промисловості, в нашій же країні цей «звичайний шлях» партія відкинула і почала з розгортання важкої
   
7. 1. Велика Вітчизняна війна
   Б даної проблеми необхідно зупинитися насамперед на історіографії питання. Прийнято вважати, що перший період історіографії війни охоплює час від початку війни і до середини 1950-х років. Чим характеризується цей період? Насамперед необхідно відзначити монопольний авторитет І. В. Сталіна в розробці окремих версій про підготовку та початок Великої Вітчизняної війни. Так, саме він,
   
8. 2. ПОНЯТТЯ ПІДВІДОМЧОСТІ, ЇЇ ВИДИ
   У процесуальному законодавстві та практиці його застосування велике значення має питання про підвідомчість спорів тим чи іншим державним чи громадським органам. У науці цивільного процесуального права підвідомчість визначається як належність потребують державно-владному вирішенні спорів про право та інших справ до ведення різних державних, громадських, змішаних
   
9. 3.5.3 Стратегія проникнення на ринок і цінова політика
   Головною метою проектованого підприємства є проникнення на ринок і наступне розширення ринкової частки. Головною стратегією підприємства повинна стати комплексна стратегія з надання продукції високої якості і за нижчими цінами, а також розширення асортименту виробів. Виходячи з цього, стратегією маркетингу обирається стратегія розширення попиту за рахунок стимулювання
   
10. Поняття вікової неосудності.
    Історія розвитку кримінального права свідчить про те, що з 17-18 в.в. в правових системах різних країн стала встановлюватися нижня вікова межа кримінальної відповідальності. При цьому бралося до уваги: а) ступінь соціальної зрілості неповнолітніх окремих вікових груп, що проживають і виховуються в певних соціально-економічних умовах; б) ідеологічні,