I have written a function to calculate the Runge-Kutta numerical approximation of the differential equation dy/dt = -2ty^2 w/ initial conditions y(0)=1 from t=0 to t=10. The function worked when I ...

In 1936, Gerhard Gentzen published a proof of consistency for Peano Arithmetic using transfinite induction up to ε₀, which was considered a finitistically acceptable procedure by both Gentzen and Paul ...