2. Keamanan dari sistem formal ini dapat didemostrasikan dengan terbebasnya dari ketidak konsistenan

1 SEJARAH DAN FILSAFAT MATEMATIKA Oleh: Endang Mulyana A. Aliran dalam Matematika Formalisme Formalis seperti David Hilbert ( ) berpendapat bahwa mate...
Author:  Surya Widjaja

28 downloads 99 Views 121KB Size

Recommend Documents