Сижу тут в Бристоле...(пишите комментарии!)

01:07 pm - Здравствуйте.

Друзья, коллеги и случайные гости, забрёдшие сюда из любопытства!
Мой ЖЖ - редкий случайный набор неважных комментариев и неважных ссылок (ЖЖ у меня заведен для чтения групп и чужих журналов, а не для записи чего-то своего). 

Если Вы интересуетесь моей наукой (Недоказуемостью в матeматике) - то Вам на мою  страницу в ЛОМИ.

Со мной можно связаться оставив комментарий к этой записи. Комментарии скрыты, так что пароли, явки и признания можно оставлять не стесняясь!

01:42 pm - .m2ts

Что делать, если видеокамера пишет .m2ts- файлы (которые хорошо и правильно играются на приложенном софте), но ни одна из программок в интернете не хочет переводить их в знакомые форматы (.mp4 или .avi)?

Кто-нибудь знает?

01:24 pm - курс логики

Я придумал курс, который буду читать этой весной в Бристоле: необходимый минимум знаний по математической логике.


http://www.maths.bris.ac.uk/~maaib/logic.html


Не забыл ли я какую-нибудь важную тему, которую должен знать каждый, взявшийся изучать логику?

Напишите мне какие-нибудь идеи!!!

02:04 am - фотографии из Вены

Надо бы вывесить какие-нибудь фотографии из венской поездки. Ну например такие:




Больше картинкок никак не вставить: ЖЖ барахлит, не пускает. Смотрите в контакте.

UPD: Появились официальные галереи (без подписей, правда) и полные видео всех речей и вручения призов. Адрес такой:


http://kgs.logic.at/goedel-fellowship/index.php?livestream

10:38 pm - Неплохо получилось.

Очень неплохо получилось:

http://kgs.logic.at/goedel-fellowship/index.php?colloquium

Набираю группу поддержки. Кстати, что бы такое министру сказать? Жду предложений!


Список финалистов здесь:  http://kgs.logic.at/goedel-fellowship/index.php?finalists

05:21 pm - Проверь своё знание английского языка! Ответь на вопросы и получи оценку!

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

Тест придумывается из головы, без особой философии. Некоторые вопросы - сложные. Если Вы можете без заглядывания в интернет и словари правильно ответить на 18 из 20 вопросов - можете считать, что знаете английский почти в совершенстве. Если на 15 - то очень хорошо!

Простые и сложные вопросы перемешаны, чтобы непонятно было: "очевидный" ответ это ловушка или просто утешительный вопрос, для увеличения оценки. Если не знаете ответ - не расстраивайтесь! Это всего лишь тест, мною придуманный из головы (на основе английских реалий). Некоторые ответы я еще сам не до конца додумал. Комментарии пока скрыты, а в середине апреля, когда наберутся желающие, откроются.

Первые 10 вопросов: переведите на русский язык:

1.  phoney smile

2. nationality

3. I'm chuffed!

4. gallivanting

5. black person

6. Any totty around last night?

7. [The government is worried about]   the increasing number of arranged marriages in the Asian community.

8. National Holiday

9. artist

10. He is excellent at juggling the numbers.

Ещё 8 вопросов. Переведите на английский язык.

11. Поздравляю с Днём Космонавтики!

12. ёжиться  (в смысле слегка поёживаться)

13. застегни пуговицы на кофте!

14. воспитанный молодой человек

15. Сбили меня с панталыку, мазурики, совсем запутали!

16. это не выборы, а сплошная бутафория!

17. поддатый (выпимши) белый медведь

18. ведущий (телевизионной передачи)

Последние 2 вопроса.

19. каким одним английским словом называются "КВН", "Что Где Когда" и сериал "Санта-Барбара", но не называются некоторые другие телепередачи (например новости)?

20. как произносится Spanish, напишите русскими буквами: спэниш, спэйниш, спениш, спаниш, спяниш, эспэниш, эспейниш, или как-то по-другому (тоже возможно...)

03:38 pm - Гёдель

Друзья и коллеги!
Я вышел в финал темпелтонового конкурса в честь столетия Гёделя!
http://kgs.logic.at/goedel-fellowship/index.php?finalists
Надо по этому поводу что-нибудь ещё недоказуемое придумать!
Поеду-ка в честь такого события погуляю по ливерпульской гавани...

11:55 am - из Ливерпуля --> в Бристоль! Скоро.

Друзья и коллеги! Я получил феллоушип и буду теперь числиться в Бристольском Университете, на департаменте математики, до 1 января 2010 года или даже до 1 февраля 2011 года. Скоро это решится.


(UPD: Всё решилось. Бристоль хочет меня на дополнительный год, так что буду в Бристоле до февраля 2011 года!
Вычитал где-то в интернете, что бристольский математический департамент - пятый лучший в Великобритании...)

01:02 pm - студенты

Забавно.
Finite Simple Group of order two, love song:
http://uk.youtube.com/watch?v=UTby_e4-Rhg

02:33 pm - Замучил и сдал.

Только что сдал статью, которую писал 6 лет (с лета 2001 года), и наконец-таки написал.

http://www.csc.liv.ac.uk/~andrey/re.pdf

Статья - по редкому и непонятному предмету, который когда-то в 1900х - 1950х годах называли "логика" (в смысле изучения всяких там теорий и моделей).  Сейчас это не "логика" потому что в смысле бэйби-логики (из информатики)  это какая-то перелогика, а в смысле современных больших серьёзных программ в теории моделей, теории доказательств или в недоказуемости - это всё-таки недологика. Предмет сложный и очень непонятный, и на ближайшие годы я с ним завязал.

С завтрашнего дня - только недоказуемость, а сегодня пойду нa японский.

02:46 am - Недоказуемость!

Tолько что закончил агитку-листовку про недоказуемость. Вот она: http://www.csc.liv.ac.uk/~andrey/new.pdf
И решил на радостях сделать себе LiveJournal.   Oказалось, что у меня пока нет френдов. Впрочем чего я ожидал на седьмой минуте пользования LiveJournalом?