1. Logika matematika dan ilmu komputer berkembang secara terpisah di Prancis pada tahun 1950-an. Logika matematika diabaikan sampai pertengahan 1950-an, sementara ilmu komputer muncul sebagai teknik tambahan matematika terapan. 2. Pada awal 1960-an, konvergensi antara logika matematika dan ilmu komputer mulai terjadi. Logika matematika diperkenalkan ke kurikulum ilmu komputer dan diadopsi oleh para insinyur

1. Logika and Komputasi Lunak di Prancis: Sebuah Konvergensi
oleh
Pierre Mounier-Kuhn
Chargé de recherche, CNRS & Université Paris-Sorbonne
Associate Researcher, Centre Alexandre Koyré-CRHST
mounier@msh-paris.fr
Keywords: Logika matematika, ilmu komputer, pembangunan disiplin, Prancis, Institut
Blaise Pascal
Berdasarkan penelitian arsip dan wawancara sejarah lisan, penyelidikan terperinci tentang
kasus Perancis - sebuah negara menengah di mana komputer muncul bertahun-tahun kemudian
daripada di Inggris dan di Inggris USA – menyarankan pertemuan yang agak terlambat
daripada proses filiasi¹.
Tentu saja kita harus membedakan antara beberapa cabang logika matematika. Boolean
Aljabar diajarkan dan digunakan segera setelah kalkulator digital pertama dikembangkan
dalam bahasa Prancis. perusahaan dan laboratorium, pada tahun 1950. Hal-hal yang berbeda
dengan teori-teori komputasi dan fungsi rekursif yang telah "merevolusi" logika matematika di
1930-an, tetapi diabaikan di Perancis sampai pertengahan 1950-an, dan tampaknya tidak
berinteraksi dengan Komputasi hingga awal 1960-an.
Komputasi pada 1950-an muncul di beberapa universitas Prancis sebagai teknik tambahan
matematika terapan, terutama analisis numerik, untuk menjawab kebutuhan listrik teknik,
mekanika fluida dan aeronautika². Di fakultas sains Grenoble dan Toulouse, kemudian dari
Lille dan Nancy, di Institut Blaise Pascal CNRS di Paris, tim kecil matematikawan terapan dan
insinyur elektronik berjuang untuk mendapatkan tabung vakum yang tidak dapat diandalkan
kalkulator untuk memproses algoritma yang ditulis dalam kode biner atau assembler:
Kekhawatiran mereka adalah sangat jauh dari abstraksi tinggi logika matematika.
Hanya dua penyebutan mesin Turing muncul di Prancis pada paruh pertama 1950-an. Di
Januari 1951, pada konferensi internasional CNRS tentang mesin penghitung, seorang delegasi
dari Laboratorium Fisik Nasional Inggris, F.M. Colebrook, memperkenalkan presentasinya
tentang Komputer ACE dengan menyebutkan makalah Turing tahun 1936 - "sebuah studi
paling abstrak yang berada di tidak memperhatikan pratinjau kalkulator digital otomatis
modern", namun menarik minat Direktur NPL³.
Alan Turing sendiri akrab dengan Prancis dan mengunjungi negara itu berulang kali pada 1930-
an. dan setelah perang, namun tampaknya tidak memiliki kontak dengan matematikawan
Prancis⁴ . Dan yang Orang Prancis yang paling mungkin memahami implikasi dari
penemuannya, F.-H. Raymond, seorang desainer komputer dengan budaya matematika yang
mendalam, tidak mendengar tentang Turing. sebelum akhir 1950-an.
Pertengahan 1950-an: Kebangkitan logika matematika
Logika matematika memulai kebangkitan pada tahun 1955, ketika Bourbakist Henri Cartan
mengundang Austria-Amerika Georg Kreisel untuk mengajar di Paris. Bersamaan dengan itu,
tiga doktor Perancis dua matematikawan, Daniel Lacombe dan Jean Porte, dan seorang filsuf,
Louis Nolin - berani merangkul masalah marjinal ini. Mari kita perkenalkan dua dari mereka
untuk memiliki sekilas pada lintasan mereka.

2. Daniel Lacombe (Ecole Normale Supérieure 1945) awalnya mempelajari teori bilangan dan
lainnya. tema matematika mapan di sekolah Perancis. Pada tahun 1955 ia mulai menerbitkan
teks tentang rekursivitas⁵ , kemungkinan di bawah pengaruh Kreisel dengan siapa ia ikut
menandatangani dua Kertas. Pada tahun 1960 ia mempresentasikan gambaran lengkap tentang
"La théorie des fonctions récursives et applications i ses" (75 halaman), meninjau teorema
Gödel, Church dan Herbrand, mesin, karya Kleene, dll. Satu-satunya penulis Prancis yang dia
kutip adalah Jean Porte, yang tampaknya mengkonfirmasi bahwa tidak ada yang lain.
Pendahuluan menekankan bahwa teori rekursif Fungsinya adalah “à la base de la majorité des
résultats intéressants obtenus en Logique mathématiqueau cours des trentedernières années”,
dengan kata lain paradigma di cabang ini Matematika.
Jean Porte belajar logika dalam filsafat, di mana ia lulus pada tahun 1941. Kemudian dia
mengambil matematika saat berpartisipasi dalam resistensi bawah tanah di wilayah Toulouse.
Pada tahun 1949 ia bergabung dengan institut statistik Prancis (INSEE) di mana ia menemukan
catégories socioprofessionnelles, untuk sensus 1954 - sebuah karya yang pada dasarnya
empiris. Sementara itu Porte mulai penelitian dalam logika matematika dan mempresentasikan
makalah tentang logika modal pada konferensi 1955 tentang Penalaran dalam Matematika⁶ .
Konferensi ini menandai kebangkitan logika matematika di Prancis, terutama ketika Prancis
mengatakan bahwa masalah logika dapat diungkapkan dalam bentuk aljabar dan
matematikawan tertarik⁷ . Pada tahun 1956 Porte mengusulkan "sebuah penyederhanaan teori
Turing" pada konferensi Cybernetic internasional pertama di Namur (Belgia)⁸ . Pada tahun
1958 ia menerima posisi peneliti CNRS, di Institut Blaise Pascal di Paris, di mana filsuf lain
yang berubah menjadi ahli logika, Louis Nolin, baru saja ditunjuk untuk mengelola kumpulan
komputer. Porte dan Nolin segera mulai menulis program untuk Elliott 402 dan IBM 650.
Komputer dari institut. Ini adalah interaksi pertama yang tercatat dari ahli logika dengan
elektronik. komputer di Perancis. Namun kami tidak memiliki petunjuk tentang hubungan yang
mungkin mereka jalin. antara penelitian mereka dalam logika dan praktik mereka sebagai
programmer.
Tahun 1960-an: Konvergensi dengan ilmu komputer
Pada bulan Oktober 1961, pusat pendidikan Eropa IBM di Blaricum (Belanda) menjadi tuan
rumah sebuah pertemuan tentang Hubungan Antara Pemrograman Non-numerik dan Teori
Formal Sistem⁹ . Braffort telah menciptakan laboratorium komputasi analog di Commissariat
à l'énergie atomique, dekat Paris, dan Sekarang menuju pusat komputer Euratom di Brussels,
di mana ia telah memesan sistem IBM. D. Hirschberg, kemudian direktur di IBM Belgia,
menawarinya dengan sopan santun / terima kasih untuk menggunakan Fasilitas IBM di
Blaricum untuk pertemuan apa pun yang ingin dia atur. Braffort menangkap kesempatan untuk
mengumpulkan ahli logika dan ilmuwan komputer.
Pada bulan Juni 1962, sebuah konferensi matematika diadakan di fakultas sains Clermont-
Ferrand. termasuk sesi tentang komputasi dan logika, yang terakhir diwakili oleh konstelasi
bintang internasional – Tarski, Beth, Bernays, Rabin, dll. Dalam pidato utamanya, René de
Possel, Kepala lembaga komputasi Paris, Institut Blaise Pascal, menjelaskan bahwa Logika,
sampai sekarang bidang spekulasi murni, telah menjadi berguna untuk matematika pada
umumnya dan untuk pemrosesan informasi khususnya¹º.
Pada kongres IFIP kedua (Munich, Agustus 1962), sebuah sesi dikhususkan untuk "Kemajuan
dalam dasar logis dari pemrosesan informasi" - topik yang tidak tertangani pada IFIP pertama
Kongres di Paris (1959). John McCarthy memalu lagi Injil yang dia khotbahkan Blaricum
setahun sebelumnya; dan seorang insinyur dari Siemens, Heinz Gumin, menjelaskan mengapa

3. Desainer komputer membutuhkan logika matematika¹¹. Di antara delegasi Prancis (hampir
10% dari penonton), setidaknya beberapa pendengar mendapat pesan.
Louis Nolin telah menjadi asisten De Possel dan kepala programmer di Institut Blaise Pascal,
dengan demikian ia berada dalam posisi yang baik untuk menerjemahkan kata-kata ke dalam
tindakan. Pada musim gugur 1962, reguler kursus tentang teori komputasi dan fungsi rekursif
diperkenalkan di kurikulum ilmu komputer di Paris pada tingkat pascasarjana. Sebuah seminar
diselenggarakan oleh J.-L. Destouches, dibantu oleh Jean Porte, Daniel Lacombe dan ahli
logika ketiga, Roland Fraïssé. hal yang sama mulai mengajarkan "logika untuk programmer"
di tingkat pascasarjana. Sementara itu, Paulette Février menerbitkan terjemahan perjanjian
klasik A. Grzegorczyk tentang fungsi rekursif, dan menciptakan dalam Institut Blaise Pascal
koleksi brosur secara eksplisit berjudul "Logika untuk penggunaan kalkulator": Cetak ulang
artikel jurnal, seminar dan teks kursus, disertasi doktoral dalam logika, dengan demikian
tersedia di luar lingkaran kecil ahli logika Prancis.
Dari tahun 1963, logika didirikan dengan kuat dalam kurikulum ilmu komputer di Universitas.
Institut de Programmation Paris dan di CNRS Institut Blaise Pascal. Di sampingnya minat
intelektual untuk programmer yang Nolin dan lain-lain menguraikan, adopsi logika memiliki
motivasi institusional: Guru komputasi diperlukan untuk mengatur program kursus dengan hal-
hal yang lebih formal daripada pelatihan Fortran atau deskripsi fisik mesin, dan logika
merespon dengan sempurna terhadap pencarian ini. Tiga tahun kemudian, Kementerian
Pendidikan Nasional mendefinisikan diploma master nasional baru, Maîtrise d'informatique,
termasuk sertifikat "Aljabar, logika matematika, kompiler dan teori sistem"¹².
Pemupukan silang antara berbagai bidang ilmiah di pertengahan 1960-an di Grenoble
dicontohkan dengan baik oleh prasejarah bahasa Prolog, seperti yang diceritakan oleh salah
satu pesertanya23: Sinergi antara dua proyek - kompilasi Algol dan pemrosesan bahasa –
memimpin para peneliti muda untuk menyerap kekayaan publikasi tentang analisis sintaksis,
tata bahasa W, teori grafik, fungsi rekursif dan lambdacalculus.
Apakah kasus Prancis luar biasa, atau mewakili proses umum? Terbukti kasus Prancis mungkin
berbeda dari kasus negara-negara yang lebih maju dalam periode pasca-perang, Dan kita harus
mencoba perbandingan¹³. Perbandingan harus memeriksa bukan negara-negara seperti itu,
kategori yang tidak masuk akal di sini, tetapi tingkat lokal universitas dan tingkat area budaya
dan linguistik yang lebih luas.

4. ¹ Penelitian ini berasal dari pertanyaan yang dibahas dalam buku saya, L'Informatique en
France, de la seconde guerre mondiale au Plan Calcul. L'émergence d'une science, Presses de
l'Université Paris-Sorbonne, 2010.
² P. Mounier-Kuhn, "Ilmu Komputer di universitas Prancis: PendatangAwal dan Latecomers",
Informasi & Budaya: Jurnal Sejarah, vol. 47, n ° 4, November.-Dec. 2012.
³ F.M. Colebrook, "Le modèle pilote du calculateur automatique électronique arithmétique
(ACE) du NPL", Les Machines à calculer et la pensée humaine, Paris, Éditions du CNRS, 1953,
hlm. 65.
⁴ Andrew Hodges, Alan Turing: The Enigma (kata pengantar oleh Douglas Hofstadter), [New
York, Simon dan Schuster,1983], London, Vintage, 2012.
⁵ Daniel Lacombe, "Extension de la notion de fonction récursive aux fonctions d'une ou
plusieurs variables réelles I", Comptes Rendus Académie des Sciences Paris, 240:2478-2480,
Juin 1955.
⁶ Jean Porte, « Recherches sur les logiques modales », congrès international du CNRS sur Le
Raisonnement en Mathématiques, Paris, CNRS, 1958, p. 117-126.
⁷ R. Feys, « Un colloque sur le raisonnement scientifique (Paris - 26 septembre - 1er octobre
1955)". Revue Philosophique de Louvain. 1955,. Vol. 53, n°40, hlm. 636-639.
⁸ Jean Porte, « Une simplification de la théorie de Turing », dans Actes du 1er congrès
international de Cybernétique (Namur), Paris, Gauthier-Villars, 1958, p. 251-280.
⁹ Proses ini diterbitkan dua tahun kemudian dengan judul yang lebih eksplisit: P. Braffort &D.
Hirschberg. (eds.), Pemrograman Komputer dan Sistem Formal, Amsterdam, Belanda Utara,
1963. Prosesnya adalah hanya pilihan makalah yang disajikan (wawancara penulis dengan P.
Braffort, 26 Juni 2012)
¹ºKonferensi ini dibagi dalam empat sesi yang mencakup domain Pascal: Logika, analisis
numerik dan komputasi otomatis, Probabilitas, geometri diferensial dan fisika matematika.
Prosesnya adalah diterbitkan dalam Annales de la Faculté des sciences de l'Université de
Clermont, Série Mathématiques, 1962, vol. 7-8.
¹¹Heinz Gumin, "Komputer Digital, Logika Matematika dan Keterbatasan Utama Komputasi",
Cicely M. Popplewell (ed.): Information Processing 1962, Proceedings of IFIP Congress 62,
Munich, Belanda Utara, 1962.
¹²A. Lentin, “Projet de réforme de l’enseignement à l’Institut de programmation”, Archives de
l’Institut Blaise Pascal, s.d. (certainly 1st semester 1966).
¹³Lihat misalnya studi mendalam yang dilakukan oleh Karel Van Oudheusden, "Makalah
Turing tahun 1936 dan Asal Usul Pemrograman Komputer – seperti yang Dialami oleh E.W.
Dijkstra , dan Munculnya Rekursi & Logika di Ilmu Komputer, disertasi master dalam logika,
diawasi oleh Gerard Alberts, Universitas Amsterdam.
http://www.illc.uva.nl/Research/Reports/MoL-2009-12.text.pdf. Dan Edgar G. Daylight (seorang penulis
terkait dengan yang pertama), The Dawn of Software Engineering. Dari Turing untuk Dijkstra, Lonely
Scholar, 2012.

5. https://www.academia.edu/download/32537797/Mounier-
Kuhn_longabstract_HAPOP_2012.pdf