Математика: различия между версиями

Материал из sysadm
Перейти к навигации Перейти к поиску
Строка 7: Строка 7:
 
# связанность (все постулаты имеют хотя бы одно общее следствие)
 
# связанность (все постулаты имеют хотя бы одно общее следствие)
 
# полнота (не существует других утверждений, удовлетворяющих требованиям постулатов)
 
# полнота (не существует других утверждений, удовлетворяющих требованиям постулатов)
 +
 +
Математика принимает постулаты за истину, но не утверждает её.
  
 
= Пространства =
 
= Пространства =

Версия 05:41, 24 августа 2025

Определение

Математика это поиск и доказательство следствий из набора постулатов удовлетворяю следующим требованиям:

  1. непротиворечивость (постулаты не противоречат друг другу и не имеют противоречивых следствий)
  2. независимость (никакой постулат не является следствием других постулатов)
  3. связанность (все постулаты имеют хотя бы одно общее следствие)
  4. полнота (не существует других утверждений, удовлетворяющих требованиям постулатов)

Математика принимает постулаты за истину, но не утверждает её.

Пространства

Вычисление погрешностей