Відкриті математичні питання: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Рядок 47:
 
== Геометрія ==
* У [[Задача про переміщення дивана|задачезадачі про переміщення дивана]] не доведена максимальність найкращої оцінки знизу ([[Константа Гервера|константыконстанти Гервера]]).
* '''Задача про 9 кола.''' Не існує 9 кіл, таких, що кожні два перетинаються, і центр кожного кола лежить поза іншими колами.
(Час виконання перевірочного алгоритму перевірки — занадто великевеликий) ==
 
== Алгебра ==
* '''Зворотна теорема [[теорія Галуа|теориитеорії Галуа]].''' Для будь-якої кінцевої групи ''H'' існують поля '''F''' і '''G''', такі, що '''G''' є розширенням '''F''' і Gal('''G'''/'''F''') ізоморфна ''H''.
* Будь-яка [[конечнопредставленная група]], кожен елемент якої має кінцевий порядок, — кінцева.
Для [[конечнопорожденная группа|конечнопорожденной групи]] (більш слабка умова) це невірно.<ref> http://arxiv.org/abs/math.GR/0607384 Rostislav Grigorchuk and Igor Pak ''Groups of Intermediate Growth: an Introduction for Beginners'' [[arXiv]]</ref> ==
Рядок 65 ⟶ 66:
* Невідомо [[Задача про хід коня|количество обходів шахівниці конем]].
==[[Аксіоматична теорія множин]]== У даний час найбільш розповсюдженою аксіоматичною теорією множин є [[ZFC]] — теорія Цермело — Френкеля з аксіомою вибору.
Питання про несуперечності цієї теорії (а тим більше — про існування моделі для неї) залишається нерозв'язаним.
 
== [[Обчислювальна математика]] ==
* Визначити граничний рівень апроксимації ''n''-стадийного [[метод Рунге-Кутты|метода Рунге-Кутты]] (1-стадійний = [[метод Эйлера]] = O(h), 2-стадійний = [[модифікований метод Эйлера]] = O(h^2), 4-стадійний = класичний метод Рунге-Кутты = O(h^4), 5-стадійний = [[метод Фельберга]] = теж O(h^4)).