Наука

[Корнак]

В мозге умных людей оказалось меньше связей между нейронами
Биологи провели два эксперимента с разными выборками, чтобы подтвердить результат.

Научная работа, объединившая специалистов из Университета Нью-Мексико и Берлинского университета имени Гумбольдта, выявила необычную закономерность: люди с большим показателем IQ имеют меньше связей в коре головного мозга.

Нейрофизиологи проанализировали мозги добровольцев из двух групп. В первой состояли 259 человек в возрасте от 18 до 40 лет, во второй — 498, их возраст варьировался от 22 до 36 лет. Анализ морфологии нейронов проводился при помощи диффузионной магнитно-резонансной томографии (МРТ). Этот неинвазивный метод позволил ученым измерить количество дендритов в коре головного мозга. Все участники также прошли IQ-тест. Ученые сопоставили результаты двух измерений и пришли к выводу, что люди, имеющие более высокий показатель IQ, обладают меньшим количеством связей между нейронами в коре.

Доктор Эрхен Джанс (Erhan Genç), участвовавший в работе, так прокомментировал открытие:

«Предыдущие исследования предполагали, что большие мозги содержат больше нейронов и связей, следовательно, обладают большей вычислительной мощностью. Мы продемонстрировали, что мозги интеллектуалов обладают хоть и скудными, но крайне эффективными нейронными связями. Значит, они показывают высокую умственную производительность при низкой активности нейронов».
 
https://naked-science.ru/article/sci/v-mozge-umnyh-lyudey-okaz

[Корнак]

Дмитрий Дмитриев

"В девятнадцатом веке возник так называемый Кризис оснований математики. Лучшие умы человечества пытались понять на чем основана сама математика, как можно обосновать правильность её аксиом?

Привитая всем со школы идея о том, что аксиомы не надо доказывать не работает, когда дело касается большой науки. Если мы опираемся на то, что не надо доказывать, то мы принимаем это на веру. А что если наши аксиомы всё-таки неверны или как минимум неполны, неточны, недостаточны? Тогда разрушится всё здание науки. Поэтому, как поняли математики в XIX веке, саму математику всё-таки необходимо обосновать.

Один из величайших математиков в истории, Давид Гильберт, считал, что математика полна и непротиворечива, и ученые смогут это доказать и построить на основе математики прочное здание науки. В этом и заключалась его так называемая Геттингенская программа, которая основывалась на том, что математика является полной, непротиворечивой и разрешимой, то есть относительно любого математического утверждения можно однозначно установить, опровержимо оно или же доказуемо. Гильберт верил в истинность этих утверждений, но понимал, что их нужно всё-таки обосновать и доказать.

Однако попытки отыскать основания математики привели к катастрофе. В 1929–1931 годах австрийский логик Курт Гёдель доказал теорему о полноте исчисления предикатов первого порядка и две теоремы о неполноте формальных арифметических систем. В частности, первая теорема о неполноте утверждает, что если формальная арифметика непротиворечива, то в ней существует утверждение, которое нельзя ни доказать, ни опровергнуть. Эти результаты показали фундаментальные ограничения формальных систем, достаточных для выражения арифметики. В дальнейшем, благодаря работам Тарского, Черча и Тьюринга, было установлено, что в таких системах невозможно одновременно обеспечить полноту, непротиворечивость и разрешимость: результаты Гёделя исключают полноту при непротиворечивости, а работы Черча и Тьюринга - алгоритмическую разрешимость.

Стало ясно, что оснований математики нам не найти, невозможно обосновать математику усилиями самой математики. Математика не смогла обосновать сама себя, подобно тому, как барон Мюнхгаузен не мог вытащить сам себя за волосы из болота.

Всё это означает, что за пределами математики должна быть система еще более глубокого уровня."