In the late 1980's I asked my logic professor if there was some kind of logical and/or mathematical process which unified numerically based mathematics with true-false based symbolic logic.He told me that someone had written a lengthy book which apparently proved that it was totally impossible to do such a thing.But I keep thinking that there must be a way.So my question is whether any progress had been made in this area in the last twenty plus years.(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

# Math and logic

Have something to add?

- Similar discussions for: Math and logic

Loading...

**Physics Forums - The Fusion of Science and Community**