Frege's Theory of Real numbers: a Consistent Rendering.

Francesca Boccuni Marco Panza

Published in: Rev. Symb. Log. (2022)

Keyphrases

real numbers
quantifier free
theoretical framework
arithmetic operations
linear inequalities
interval arithmetic
high quality
computer graphics
fuzzy numbers
three dimensional
high fidelity
machine learning
d scene
constraint programming
photorealistic
volume rendering