" Признание доказательств зависит от того , насколько они убеждают отдельных математиков " , - соглашается Джон Харрисон .
"$0 признание$1528 доказательство$1556 зависеть$18 от$0 то$1532 ,$0 насколько$36 они$200 убеждать$100 отдельный$1662 математик$1696 "$0 ,$0 -$0 соглашаться$1580 Джон$1448 Харрисон$1448 .$0