Evo rada koji otvara neka filozofska pitanja:
http://arxiv.org/abs/1402.2184
Sam rad se odnosi na izvođenje dokaza za "Erdős discrepancy" i taj deo će biti interesantan i razumljiv matematičarima. Ali ono što je interesantno i za nematematičare jeste mogućnost provere dokaza. Naime, autori rada su uspeli rešiti "Erdős discrepancy" za discrepancy >2 koristeći se kompjuterom, ali je samo rešenje problem. Kompjuter je posle 6 sati izbacio rešenje veličine 13 gigabajta! Pri tom ovo je samo dokaz za discrepancy >2. I za ovo rešenje trebale bi godine da bude provereno od strane matematičara. A korišćenje ovog metoda za još veće diskrepancije bi dovelo do rešenja koje više matematičari ne bi ni mogli da provere.
Autor rada kaže sledeće: "It is a challenging problem to produce a compact proof more amenable for human comprehension."
Mada se neki matematičari ne slažu i misle da provera matematičara nije neophodna već samo još jedna kompjuterska provera sa softverom koji koristi drugačiji metod. Ukoliko bi takva kompjuterska provera sa drugačijim metodom dovela do istog rezultata to bi definitivno bila potvdra.
I sada da li smo na pragu nove ere u kojoj će rešenja i dokazivanja koja nam izvode samo kompjuteri, koje smo sami stvorili, nama samima neće biti proverljiva, a verovatno nam neće ni biti jasna?
http://arxiv.org/abs/1402.2184
Sam rad se odnosi na izvođenje dokaza za "Erdős discrepancy" i taj deo će biti interesantan i razumljiv matematičarima. Ali ono što je interesantno i za nematematičare jeste mogućnost provere dokaza. Naime, autori rada su uspeli rešiti "Erdős discrepancy" za discrepancy >2 koristeći se kompjuterom, ali je samo rešenje problem. Kompjuter je posle 6 sati izbacio rešenje veličine 13 gigabajta! Pri tom ovo je samo dokaz za discrepancy >2. I za ovo rešenje trebale bi godine da bude provereno od strane matematičara. A korišćenje ovog metoda za još veće diskrepancije bi dovelo do rešenja koje više matematičari ne bi ni mogli da provere.
Autor rada kaže sledeće: "It is a challenging problem to produce a compact proof more amenable for human comprehension."
Mada se neki matematičari ne slažu i misle da provera matematičara nije neophodna već samo još jedna kompjuterska provera sa softverom koji koristi drugačiji metod. Ukoliko bi takva kompjuterska provera sa drugačijim metodom dovela do istog rezultata to bi definitivno bila potvdra.
I sada da li smo na pragu nove ere u kojoj će rešenja i dokazivanja koja nam izvode samo kompjuteri, koje smo sami stvorili, nama samima neće biti proverljiva, a verovatno nam neće ni biti jasna?
