?

Log in

No account? Create an account

Спам. Теперь и на arxiv.org

« previous entry | next entry »
мар. 25, 2009 | 10:57 am

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture 
(авторская пунктуация сохранена).

Link | Leave a comment | Поделиться

Comments {3}

flying_bear

(no subject)

from: flying_bear
date: мар. 25, 2009 08:14 pm (UTC)
Link

Надо же. Здесь это - одно из основных направлений у математиков (в нашем университете) - учат компьютеры доказывать теоремы.

Как дети малые, ей-богу. Все бы в куколки играть.

Reply | Thread

pussbigeyes

(no subject)

from: pussbigeyes
date: мар. 25, 2009 08:39 pm (UTC)
Link

Последние 10 лет мне все сильнее кажется, что когда я выбирал первую профессию, математикой называли немного другую науку. А с физикой не так?

Reply | Parent | Thread

flying_bear

(no subject)

from: flying_bear
date: мар. 26, 2009 06:29 am (UTC)
Link

Наверно, так, но я уже привык. И потом, слава А.Г., продемонстрировавшему возможность в наше время успешной дешевой науки... Снова стало можно жить писанием формулок!

Reply | Parent | Thread