Без заголовка
17-10-2008 01:30
к комментариям - к полной версии
- понравилось!
... есть элегантная связь между множеством недоказуемых утверждений и множеством простых чисел. Недоказуемых утверждений, правда больше. Речь, безусловно, идет о фиксированном наборе аксиом:
f(f(a,b),c) =f(a,f(b,c)) && f(a,b)=f(b,a).
вверх^
к полной версии
понравилось!
в evernote