html текст
All interests
  • All interests
  • Design
  • Food
  • Gadgets
  • Humor
  • News
  • Photo
  • Travel
  • Video
Click to see the next recommended page
Like it
Don't like
Add to Favorites

Быстрое чтение: математическое доказательство размером с Википедию

Быстрое чтение: *математическое доказательство размером с Википедию*

© Ryoji Ikeda

Компьютер частично разрешил математическую проблему, выдав доказательство более чем на 15 тысяч страниц — перепроверить его вручную невозможно. Это поднимает вопрос об исключении человека из математики, пишет The Verge. T&P перевели из их статьи самое главное.

Если в школе разбор доказательств к теоремам и так казался пыткой, то теперь представьте, что вам пришлось столкнуться с доказательством размером с Википедию. Исследователи компьютерных технологий из университета Ливерпуля — Алексей Лисица и Борис Конев — получили математическое доказательство, которое изложено в 13-гигабайтом файле, превышающим все сложенные вместе страницы Википедии. Ручная проверка доказательства не представляется возможной.

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

Основная гипотеза Эрдеша состояла в том, что может быть найдено несоответствие любой величины, но он так никогда не смог этого доказать. Ученые решили воспользоваться компьютером, чтобы доказать, что бесконечная последовательность всегда будет иметь несоответствие, равное двум или большему числу. Компьютер потратил на проверку шесть часов и выдал доказательство длиннее Огромной Теоремы, изложенной на 15000 листах.

Проверить этот массив данных для человека не представляется возможным, и если доказательство с расхождением 2 оказалось настолько сложным, значит ручной проверке не пригодны и доказательства с большими расхождениями. Это поднимает вопрос о математике, из которой исключен человек: если доказательство может быть проверено только на компьютере, может ли оно считаться верным? По мнению Джила Калаи из Института математики в еврейском университете в Иерусалиме, исключительно человеческого мозга здесь недостаточно. Но если другой компьютер получит такое же доказательство с теми же результатами, тогда его можно считать верным.

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

Подробнее узнать о недоступном для человеческого ума доказательстве проблемы несоответствия можно на сайте Verge.

Читать дальше
Twitter
Одноклассники
Мой Мир

материал с theoryandpractice.ru

149
    +131 surfers

      Add

      You can create thematic collections and keep, for instance, all recipes in one place so you will never lose them.

      No images found
      Previous Next 0 / 0
      500
      • Advertisement
      • Animals
      • Architecture
      • Art
      • Auto
      • Aviation
      • Books
      • Cartoons
      • Celebrities
      • Children
      • Culture
      • Design
      • Economics
      • Education
      • Entertainment
      • Fashion
      • Fitness
      • Food
      • Gadgets
      • Games
      • Health
      • History
      • Hobby
      • Humor
      • Interior
      • Moto
      • Movies
      • Music
      • Nature
      • News
      • Photo
      • Pictures
      • Politics
      • Psychology
      • Science
      • Society
      • Sport
      • Technology
      • Travel
      • Video
      • Weapons
      • Web
      • Work
        Submit
        Valid formats are JPG, PNG, GIF.
        Not more than 5 Мb, please.
        30
        surfingbird.ru/site/
        RSS format guidelines
        500
        • Advertisement
        • Animals
        • Architecture
        • Art
        • Auto
        • Aviation
        • Books
        • Cartoons
        • Celebrities
        • Children
        • Culture
        • Design
        • Economics
        • Education
        • Entertainment
        • Fashion
        • Fitness
        • Food
        • Gadgets
        • Games
        • Health
        • History
        • Hobby
        • Humor
        • Interior
        • Moto
        • Movies
        • Music
        • Nature
        • News
        • Photo
        • Pictures
        • Politics
        • Psychology
        • Science
        • Society
        • Sport
        • Technology
        • Travel
        • Video
        • Weapons
        • Web
        • Work

          Submit

          Thank you! Wait for moderation.

          Тебе это не нравится?

          You can block the domain, tag, user or channel, and we'll stop recommend it to you. You can always unblock them in your settings.

          • tandp
          • математика
          • ученые
          • мозг
          • википедия
          • домен theoryandpractice.ru

          Get a link

          Спасибо, твоя жалоба принята.

          Log on to Surfingbird

          Recover
          Sign up

          or

          Welcome to Surfingbird.com!

          You'll find thousands of interesting pages, photos, and videos inside.
          Join!

          • Personal
            recommendations

          • Stash
            interesting and useful stuff

          • Anywhere,
            anytime

          Do we already know you? Login or restore the password.

          Close

          Add to collection

             

            Facebook

            Ваш профиль на рассмотрении, обновите страницу через несколько секунд

            Facebook

            К сожалению, вы не попадаете под условия акции