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

Материал из sysadm
Перейти к навигации Перейти к поиску
Строка 1: Строка 1:
  
= Определение =
+
= Мое определение =
  
 
Математика это поиск и доказательство следствий из некоторого базиса.
 
Математика это поиск и доказательство следствий из некоторого базиса.

Версия 06:18, 24 августа 2025

Мое определение

Математика это поиск и доказательство следствий из некоторого базиса.

Базис это набор постулатов, удовлетворяющих следующим требованиям:

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

(??? нужно подумать на тему инвариантности постулатов, один постулат может иметь разные формы, но все они порождают те же следствия)

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

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

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