Combinatory logic was developed with great ambitions: understanding the nature of paradoxes, making foundations of mathematics more economic ( conceptually ), eliminating the notion of variables ( thus clarifying their role in mathematics ).
Combinatory logic was developed with great ambitions: understanding the nature of paradoxes, making foundations of mathematics more economic ( conceptually ), eliminating the notion of variables ( thus clarifying their role in mathematics ).
0.024 seconds.