Комментарии 3
странная статья конечно. Авторы хотят "формализации математики" и даже не попробовали геделевские карточки
ну и хотелось бы узнать что они думают вот об этом
Hidden text
You can ask me to calculate the value of the expression "one-third plus two" without using a calculator or mathematical software. To calculate the value of the expression 1/3+2 without a calculator or mathematical software, you can use fractions and common denominators. First, 2 can be written as 6/3 because 2 divided by 1 is 2 and 2 divided by 2 is 1, giving a final fraction of 6/3. Then, you can rewrite 1/3 to have a common denominator of 3 by multiplying both the numerator and denominator by 3, resulting in the fraction 3/9. Now that both fractions have a common denominator of 3, you can add them together by adding the numerators and keeping the denominator the same: 6/3 + 3/9 = (18 + 3) / 9 = 21/9 Finally, you can simplify the fraction by finding the greatest common factor of the numerator and denominator, which is 3: 21/9 = (7 x 3) / (3 x 3) = 7/3 Therefore, the value of the expression 1/3+2 is 7/3 or 2 and 1/3.
Чтобы научить компьютеры математике учёные объединяют разные ИИ