Mimpi yang sudah lama diidam-idamkan tentang kecerdasan buatan (AI) semakin menjadi kenyataan dalam dunia kita sehari-hari. Hal ini terkait dengan ekspektasi sosial yang tinggi, tetapi juga kekhawatiran tentang ketidakberdayaan manusia yang merayap. Dengan menggunakan sektor penelitian sebagai contoh, buku ini mengeksplorasi pilihan, peluang pengembangan, dan risiko teknologi AI untuk masa depa…
Buku akses terbuka ini membuat kasus untuk memperluas logika di luar batas-batas tradisionalnya, untuk mencakup tidak hanya pernyataan tetapi juga pertanyaan. Motivasi perluasan ini ditelaah secara rinci. Ditunjukkan bahwa gagasan-gagasan penting, termasuk jawaban logis dan ketergantungan, muncul sebagai aspek-aspek dari gagasan fundamental tentang entailment ketika logika diperluas menjadi per…
Buku akses terbuka ini menyelidiki peran yang dimainkan oleh identitas bukti dalam semantik teori-bukti. Buku ini mengembangkan sebuah konsepsi tentang semantik teori-pembuktian yang terutama berkaitan dengan hubungan antara bukti (dipahami sebagai entitas abstrak) dan turunan (representasi linguistik dari bukti). Buku ini menunjukkan bahwa identitas bukti adalah kunci untuk memperjelas beberap…
Karl R. Popper (1902-1994) adalah salah satu filsuf paling berpengaruh di abad ke-20. Filsafat ilmu pengetahuannya ("falsifikasionisme") dan filsafat sosial dan politiknya ("masyarakat terbuka") telah didiskusikan secara luas di luar filsafat akademis. Apa yang tidak begitu dikenal adalah bahwa Popper juga menghasilkan karya yang cukup besar tentang dasar-dasar logika deduktif, yang sebagian be…
Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari te…
Buku akses terbuka ini mengumpulkan kontribusi dari sekolah ketujuh tentang Magnetisme dan Radiasi Sinkrotron yang diadakan di Mittelwihr, Prancis, dari 7 hingga 12 Oktober 2018. Buku ini dimulai dengan pengantar tentang fisika sumber sinar-X modern diikuti oleh gambaran umum tentang magnetisme. Selanjutnya, interaksi cahaya/materi dalam rentang sinar-X dibahas dengan penekanan pada berbagai je…
Buku akses terbuka ini mengkaji struktur dan proses politik yang membingkai dan menghasilkan pemahaman tentang keberagaman dalam dan melalui pendidikan musik. Lonjakan terbaru dalam kecenderungan nasionalis, fundamentalis, proteksionis, dan separatis menyoroti pentingnya bagi pendidikan musik untuk melampaui agenda kebijakan nominal atau diskursus keberagaman yang sepenuhnya merayakan. Menggabu…
Volume akses terbuka ini berisi proseding dari Simposium ke-5 tentang Gravitometri Terestrial: Pengukuran Statis dan Mobile (TG-SMM2019) yang diadakan di St. Petersburg, Rusia, pada 1 - 4 Oktober 2019. Simposium ini diselenggarakan oleh Pusat Penelitian Negara Federasi Rusia Concern CSRI Elektropribor, JSC dan dihadiri oleh 75 peserta dari 15 negara yang berbeda. 32 kontribusi lisan dan 20 post…
Buku akses terbuka ini menyoroti kemajuan terbaru dalam penelitian fundamental, teknologi, dan aplikasi energi hidrogen dan sel bahan bakar. Dalam beberapa tahun terakhir, konversi energi antara listrik dan energi hidrogen telah menarik perhatian yang semakin meningkat sebagai cara untuk menyesuaikan beban jaringan listrik. Buku ini membahas dan bertukar temuan mutakhir dan perkembangan teknolo…
Volume akses terbuka ini menyatukan makalah-makalah terpilih dari Konferensi Internasional ke-8 tentang Sains dan Teknologi Attosecond. Kontribusi di dalamnya mewakili kemajuan terbaru dalam ilmu pengetahuan attosecond, yang mencakup kemajuan terbaru dalam dinamika elektron sangat cepat dalam atom, molekul, kelompok, permukaan, padatan, struktur nano, dan plasma, serta generasi pulsa XUV sub-fe…