lahirmya bimbingan dan penyuluhan (kini bimbingan dan konseling) di indonesia merupakan hasil konferensi fakultas keguruan dan ilmu pendidikan (disingkat fkip, yang kemudian menjadi ikip) pada tanggal 20-24 agustus 1960 di malang.
pada tahun 1964, ikip bandung dan ikip malang medirikan jurusan bimbingan dan penyuluhan.
bimbingan dan penyuluhan diakui oleh pendidikan di indonesia sejak dimasukan ke dalam kurikulum 1965.
pada tahun 1971, berdiri proyek perintis sekolah pembangunan (disingkat ppsp, kini labschool) pada delapan ikip, yaitu ikip padang (kini universitas negeri padang), ikip jakarta (kini universitas negeri jakarta), ikip bandung (kini universitas pendidikan indonesia), ikip yogyakarta (kini universitas negeri yogyakarta), ikip semarang (kini universitas negeri semarang), ikip surabaya, ikip malang, dan ikip manado (kini universitas negeri manado).
asas bimbingan dan konseling
dalam pelaksanaan layanan bimbingan dan konseling, layanan yang diberikan oleh konselor terhadap konseli harus didasari oleh asas-asas sebagai berikut.
belajarpsikologi.com, diakses pada tanggal 26 desember 2014.
asas kerahasiaan adalah asas yang menuntut konselor merahasiakan data atau informasi yang diberikan konseli agar tidak diketahui orang lain dan data atau informasi hanya boleh disebarluaskan berdasarkan persetujuan konseli yang dapat dipertanggungjawabkan.
asas kesukarelaan adalah asas yang menghendaki adanya kesukaan dan kerelaan antara konselor dengan konseli dalam mengikuti/menjalani layanan/kegiatan yang diperuntukkan.
asas keterbukaan adalah asas yang menghendaki agar konselor dan konseli bersikap terbuka dan tidak berpura-pura, baik dalam memberikan keterangan maupun dalam menerima berbagai informasi dari luar yang berguna bagi pengembangandirinya.
asas kegiatan adalah asas menghendaki agar konselor dan konseli berpartisipasi aktif dalam rangkaian kegiatan dalam layanan bimbingan dan konseling.
asas kemandirian adalah asas yang menunjukkan pada tujuan umum bimbingan dan konseling, yaitu konseli diharapkan menjadi mandiri secara pribadi, sosial, belajar, dan karier, dengan ciri-ciri mengenal diri sendiri dan lingkungannya, mampu mengambil keputusan, mengarahkan, serta mewujudkan diri sendiri.
asas kekinian adalah asas yang menghendaki permasalahan yang dihadapi konseli terjadi saat sekarang.
kondisi masa lampau dan masa depan dilihat sebagai dampak dan memiliki keterkaitan dengan apa yang ada dan diperbuat konseli pada saat sekarang.
asas kedinamisan adalah asas yang menghendaki agar isi layanan hendaknya selalu bergerak maju, tidak monoton, dan terus berkembang serta berkelanjutan sesuai dengan kebutuhan dan tahap perkembangannya dari waktu ke waktu.
asas keterpaduan adalah asas yang menghendaki agar layanan bimbingan dan konseling yang dilakukan dapat saling menunjang, harmonis, dan terpadukan.
dalam hal ini, kerja sama atau kolaborasi dengan berbagai pihak yang terkait menjadi perlu dilaksanakan.
asas kenormatifan adalah asas yang menghendaki agar layanan bimbingan dan konseling didasarkan pada norma-norma yang berlaku.
asas keahlian adalah asas yang menghendaki agar layanan bimbingan dan konseling diselenggarakan atas dasar kaidah-kaidah profesional.
dalam hal ini, konselor atau pihak yang dipercaya memberikan layanan hendaknya tenaga yang benar-benar ahli dalam bimbingan dan konseling.
profesionalitas konselor harus terwujud baik dalam penyelenggaraaan jenis-jenis layanan dan kegiatan bimbingan dan konseling dan dalam penegakan kode etik bimbingan dan konseling.
asas alih tangan kasus
asas alih tangan kasus adalah asas yang menghendaki agar konselor yang tidak mampu menyelenggarakan layanan bimbingan dan konseling secara tepat dan tuntas atas suatu permasalahan konseli kiranya dapat mengalih-tangankan kepada pihak yang lebih ahli.
konselor dapat menerima alih tangan kasus dari orang tua, guru-guru lain, atau ahli lain.
demikian pula, sebaliknya konselor, dapat mengalih-tangankan kasus kepada pihak yang lebih kompeten, baik yang berada di dalam lembaga sekolah maupun di luar sekolah.
asas tut wuri handayani
asas tut wuri handayani merupakan asas yang diadopsi dari nilai-nilai pendidikan ki hajar dewantara.
asas tut wuri handayani adalah asas yang menghendaki agar pelayanan bimbingan dan konseling secara keseluruhan dapat menciptakan suasana mengayomi (memberikan rasa aman), mengembangkan keteladanan, dan memberikan rangsangan dan dorongan, serta kesempatan yang seluas-luasnya kepada konseli untuk berkembang maju sesuai dengan potensi yang dimiliki konseli.
layanan bimbingan dan konseling memiliki beberapa komponen yang terbagi dalam jenis layanan, kegiatan pendukung, dan format layanan, yaitu:
layanan orientasi adalah layanan bimbingan dan konseling yang membantu peserta didik memahami lingkungan baru dan objek-objek yang perlu dipelajari untuk menyesuaikan diri serta mempermudah dan memperlancar peran di lingkungan baru yang efektif dan berkarakter.
lampiran iv peraturan menteri pendidikan dan kebudayaan republik indonesia nomor 81a tahun 2013, diakses pada tanggal 26 desember 2014.
layanan informasi adalah layanan bimbingan dan konseling yang membantu peserta didik menerima dan memahami berbagai informasi diri, sosial, belajar, karier/jabatan, dan pendidikan lanjutan secara terarah, objektif, dan bijak.
layanan penempatan dan penyaluran
layanan penempatan dan penyaluran adalah layanan bimbingan dan konseling yang membantu peserta didik memperoleh penempatan dan penyaluran yang tepat di dalam kelas, kelompok belajar, peminatan/lintas minat/pendalaman minat, program latihan, magang, dan kegiatan ekstrakurikuler secara terarah, objektif, dan bijak.
layanan penguasaan konten
layanan penguasaan konten adalah layanan bimbingan dan konseling yang membantu peserta didik menguasai konten tertentu sesuai dengan tuntutan kemajuan dan berkarakter cerdas yang terpuji, sesuai dengan potensi dan peminatan dirinya.
layanan penguasaan perseorangan
layanan penguasaan perseorangan adalah layanan bimbingan dan konseling yang membantu peserta didik dalam mengentaskan masalah pribadinya melalui prosedur perseorangan.
layanan bimbingan kelompok
layanan bimbingan kelompok adalah layanan bimbingan dan konseling yang membantu konseli dalam pengembangan pribadi, kemampuan hubungan sosial, kegiatan belajar, karier/jabatan, dan pengambilan keputusan, serta melakukan kegiatan tertentu melalui dinamika kelompok.
layanan konseling kelompok
layanan konseling kelompok adalah layanan bimbingan dan konseling membantu konseli dalam pembahasan dan pengentasan masalah yang dialami konseli melalui dinamika kelompok.
layanan konsultasi adalah layanan bimbingan dan konseling yang membantu konseli dalam meperoleh wawasan, pemahaman, dan cara-cara yang perlu dilakukan.
layanan mediasi adalah layanan bimbingan dan konseling yang membantu konseli dalam menyelesaikan permasalahan dan memperbaiki hubungan dengan pihak lain.
konselor berperan juga berperan sebagai perantara antara konseli dengan pihak lain.
layanan advokasi adalah layanan bimbingan dan konseling yang membantu konseli untuk memperoleh kembali hak-hak dirinya yang tidak diperhatikan dan/atau mendapat perlakuan yang menyalahi hak-haknya.
aplikasi instrumentasi adalah kegiatan mengumpulkan data tentang diri konseli dan lingkungannya, melalui aplikasi berbagai instrumen, baik tes maupun non-tes.
himpunan data adalah kegiatan menghimpun data yang relevan dengan pengembangan konseli, yang diselenggarakan secara berkelanjutan, sistematis, komprehensif, terpadu, dan bersifat rahasia.
konferensi kasus adalah kegiatan membahas permasalahan konseli dalam pertemuan khusus yang dihadiri oleh pihak-pihak yang dapat memberikan data, kemudahan dan komitmen bagi terentaskannya masalah konseli melalui pertemuan, yang bersifat terbatas dan tertutup.
kunjungan rumah adalah kegiatan memperoleh data, kemudahan dan komitmen bagi terentaskannya masalah konseli melalui pertemuan dengan orangtua dan/atau anggota keluarganya.
tampilan kepustakaan adalah kegiatan menyediakan berbagai bahan pustaka yang dapat digunakan konseli dalam pengembangan pribadi, kemampuan sosial, kegiatan belajar, dan karier/jabatan.
alih tangan kasus
alih tangan kasus adalah kegiatan untuk memindahkan penanganan masalah konseli ke pihak lain sesuai keahlian dan kewenangan ahli yang dimaksud.
kategori:pendidikangdel mempublikasikan kedua teorema ketidaklengkapan hasil pemikirannya pada tahun 1931 ketika ia berusia 25 tahun, setahun setelah meraih gelar doktor pada university of vienna.
gdel lahir pada tanggal 28 april 1906, di brnn, austria-hungary (sekarang brno, czech republic) dalam keluarga etnis jerman dengan ayah bernama rudolf gdel, manajer sebuah pabrik tekstil, dan ibu, marianne gdel (nama keluarga gadisnya, handschuh).dawson 1997, pp. 34 pada waktu kelahirannya, kota itu mayoritas penduduknya berbicara bahasa jerman termasuk orangtuanya.dawson 1997, p. 12 kedua orangtuanya berbeda keyakinan, ayahnya adalah penganut gereja katolik, sedangkan ibunya penganut protestan.
anak-anak mereka dibesarkan dalam keyakinan protestan.
leluhur kurt gdel sering aktif dalam kehidupan budaya kota brnn.
misalnya, kakeknya, joseph gdel, adalah seorang penyanyi terkenal pada masa itu dan selama beberapa tahun menjadi anggota perkumpulan penyanyi "brnner mnnergesangverein".prochzka 2008, pp. 3034.
gdel secara otomatis menjadi warganegara cekoslowakia pada usia 12 tahun, ketika kekaisaran austro-hungaria pecah pada akhir perang dunia i. menurut teman sekelasnya, klepeta, sebagaimana penduduk wilayah yang tergolong german sudetenlnder, "gdel selalu menganggap dirinya orang austria dan hidup dalam pembuangan di cekoslowakia".dawson 1997, p. 15.
ia memilih menjadi warganegara austria pada usia 23 tahun.
ketika jerman mencaplok austria pada tahun 1938, gdel otomatis menjadi warganegara jerman pada usia 32 tahun.
setelah perang dunia ii, pada usia 42 tahun, ia menjadi warganegara amerika serikat.
belajar di vienna
pada usia 18, gdel mengikuti abangnya di wina (vienna) dan kuliah di university of vienna.
saat itu ia sudah menguasai matematika setingkat universitas.dawson 1997, p. 24.
meskipun awalnya berniat untuk belajar fisika teoretis, ia juga mengikuti kuliah matematika dan filsafat.
pada masa ini, ia menganut ide realisme matematika.
ia membaca karya immanuel kant, metaphysische anfangsgrnde der naturwissenschaft, dan berpartisipasi dalam vienna circle bersama moritz schlick, hans hahn, dan rudolf carnap.
gdel kemudian belajar teori bilangan, tetapi ketika ia ikut suatu seminar yang diorganisir oleh moritz schlick yang mempelajari buku karya bertrand russell introduction to mathematical philosophy, ia menjadi tertarik pada logika matematika.
menurut gdel, logika matematika adalah "suatu ilmu pengetahuan sebelum semua yang lain, yang memuat ide-ide dan prinsip-prinsip melandasi semua ilmu pengetahuan."gleick, j. (2011) the information: a history, a theory, a flood, london, fourth estate, p181.
ketika menghadiri kuliah yang diberikan oleh david hilbert di bologna mengenai kelengkapan dan konsistensi sistem matematika, jalan hidup gdel menjadi terfokus.
pada tahun 1928, hilbert dan wilhelm ackermann menerbitkan grundzge der theoretischen logik (prinsip-prinsip logika matematika), suatu pendahuluan kepada logika tingkat pertama di mana soal kelengkapan diungkapkan: apakah aksioma-aksioma sistem formal memadai untuk menurunkan setiap pernyataan yang benar dalam semua model sistem itu?
ini menjadi topik yang dipilih oleh gdel untuk karya doktoralnya.
pada tahun 1929, pada usia 23 tahun, ia menyelesaikan disertasi doktoralnya di bawah bimbingan hans hahn. di dalamnya, ia menyatakan kelengkapan dari kalkulus predikat tingkat pertama (teorema kelengkapan gdel).
ia meraih gelar doktor pada tahun 1930.
tesisnya, bersama dengan sejumlah karya tambahan, dipublikasikan oleh vienna academy of science.
"kurt gdel's achievement in modern logic is singular and monumental  indeed it is more than a monument, it is a landmark which will remain visible far in space and time. ... the subject of logic has certainly completely changed its nature and possibilities with gdel's achievement." john von neumannhalmos, p.r. "the legend of von neumann", the american mathematical monthly, vol. 80, no. 4.
(april 1973), pp. 382394
pada tahun 1931, ketika masih di vienna, gdel menerbitkan teorema ketaklengkapan dalam ber formal unentscheidbare stze der "principia mathematica" und verwandter systeme (dalam bahasa inggris disebut "on formally undecidable propositions of "principia mathematica" and related systems").
tahun 1930-an: pekerjaan selanjutnya dan kunjungan ke amerika serikat
gdel menyelesaikan habilitasinya di vienna pada tahun 1932, dan pada tahun 1933 ia menjadi seorang privatdozent (dosen tanpa bayaran) di sana.
pada tahun 1933 adolf hitler mulai berkuasa di jerman, dan pada tahun-tahun berikutnya, nazi mulai naik pengaruhnya di austria, dan di kalangan ahli matematika vienna.
dalam bulan 1936, moritz schlick, yang seminarnya membangkitkan ketertarikan gdel pada logika, dibunuh oleh seorang mahasiswa pro-nazi. ini menimbulkan "suatu krisis syaraf berat" dalam diri gdel..
dari halaman 80, which quotes rudolf gdel, kurt's brother and a medical doctor.
the words "a severe nervous crisis", and the judgement that the schlick assassination was its trigger, are from the rudolf gdel quote.
rudolf knew kurt well in those years.
ia mulai mengalami gejala-gejala paranoid, termasuk ketakutan akan diracuni, dan melewatkan beberapa bulan di sebuah sanitarium untuk penyakit syarat.dawson 1997, pp. 110112
pada tahun 1933, gdel pertama kali pergi ke amerika serikat, di mana ia bertemu dengan albert einstein, yang menjadi sahabat karibnya.hutchinson encyclopedia (1988), p.518
gdel menikah dengan adele nimbursky (ne porkert, 18991981), yang telah dikenalnya selama lebih dari 10 tahun, pada tanggal 20 september 1938.
hubungan mereka ditentang oleh orangtuanya karena adele adalah seorang penari yang pernah bercerai dan 6 tahun lebih tua usianya dari gdel.
kemudian, ia pergi lagi ke amerika serikat, tinggal selama musim gugur 1938 di ias dan musim semi 1939 di university of notre dame.
relokasi ke princeton, einstein dan kewarganegaraan amerika serikat
setelah anschluss pada tahun 1938, austria menjadi bagian dari nazi jerman.
jerman menghapuskan gelar jabatan privatdozent, sehingga gdel harus melamar pekerjaan pada posisi lain di bawah aturan baru.
hubungannya dulu dengan orang-orang yahudi yang menjadi anggota vienna circle, terutama dengan hahn, menjadi faktor yang merugikannya.
university of vienna menolak lamaran pekerjaannya.
keadaannya menjadi lebih sulit ketika tentara jerman memutuskan ia harus masuk wajib militer.
perang dunia ii dimulai pada bulan september 1939.
sebelum setahun, gdel dan istrinya meninggalkan vienna dan pergi ke princeton.
untuk menghindari kesulitan menyeberangi samudra atlantik, pasangan gdels naik kereta api trans-siberia ke samudra pasifik, berlayar dari jepang ke san francisco (tiba tanggal 4 maret 1940), kemudian melintasi amerika serikat naik kereta api ke princeton, di mana gdel menerima posisi pada institute for advanced study (ias).
albert einstein juga tinggal di princeton pada waktu itu.
gdel dan einstein menjadi sahabat karib, dan dikenal sering berjalan jauh bersama dari dan ke institute for advanced study.
isi percakapan mereka merupakan misteri bagi anggota institut yang lain.
ahli ekonomi oskar morgenstern mengenang bahwa di akhir hidupnya einstein mengakui "pekerjaannya sendiri tidak lagi berarti banyak, dan ia datang ke institut hanya ... untuk mendapatkan kesempatan berjalan pulang bersama gdel".goldstein (2005), p. 33.
gdel dan istrinya, adele, melewatkan musim panas tahun 1942 di blue hill, maine, yaitu di blue hill inn pada puncak di teluk itu.
gdel tidak hanya berlibur, tetapi juga sangat produktif dalam bekerja.
menggunakan heft 15 [volume 15] dari karya gdel arbeitshefte [buku catatan kerja] yang belum diterbitkan, john w. dawson, jr. menyimpulkan bahwa gdel menemukan suatu bukti ketidak-tergantungan aksioma pilihan dari teori jenis finit, suatu bentuk teori himpunan yang diperlemah, ketika tinggal di blue hill pada tahun 1942.
teman dekat gdel, hao wang, mendukung konjektur ini, mengamati bahwa buku catatan gdel ketika di blue hill memuat penjabaran yang paling luas mengenai soal ini.
pada tanggal 5 desember 5, 1947, einstein dan morgenstern menemani gdel ke tempat ujian kewarganegaraan amerika serikat, di mana mereka menjadi saksi-saksi.
gdel telah mengatakan kepada mereka bahwa ia menemukan suatu inkonsistensi dalam konstitusi amerika serikat yang dapat menjadi amerika serikat suatu negara diktator.
einstein dan morgenstern kuatir tingkah laku teman mereka yang tidak dapat diramalkan itu akan menyebabkan aplikasi warganegara itu gagal.
untungnya, hakim penguji ternyata adalah phillip forman, yang mengenal einstein, bahkan memimpin penyumpahan warganegara einstein sendiri.
semua berjalan lancar sampai forman kebetulan bertanya kepada gdel apakah ia berpikir suatu diktatorial seperti nazi dapat terjadi di amerika serikat.
gdel kemudian mulai menjelaskan penemuannya kepada forman.
forman mengerti apa yang terjadi, memotong perkataan gdel, meneruskan dengan pertanyaan lain dan kesimpulan rutin.dawson 1997, pp. 179180.
the story of gdel's citizenship hearing is repeated in many versions.
dawson's account is the most carefully researched, but was written before the rediscovery of morgenstern's written account.
most other accounts appear to be based on dawson, hearsay or speculation.
gdel menjadi anggota tetap "institute for advanced study" di princeton pada tahun 1946.
sekitar waktu ini ia berhenti mempublikasikan karyanya, meskipun terus bekerja.
ia menjadi profesor penuh pada institut itu pada tahun 1953 dan pensiun sebagai profesor emeritus pada tahun 1976.
gdel adalah seorang penganut teguh aliran teisme.
ia memegang keyakinan bahwa allah adalah sosok pribadi, yang berbeda dengan pandangan sahabatnya, albert einstein.
sebuah yayasan bernama kurt gdel society didirikan pada tahun 1987 untuk menghormatinya.
merupakan suatu organisasi internasional yang mempromosikan riset dalam bidang logika, filsafat dan sejarah matematika.
university of vienna membuka "kurt gdel research center for mathematical logic".
association for symbolic logic telah mengundang pembicara khusus tahunan sebagai "kurt gdel lecturer" sejah tahun 1990.
dalam bahasa jerman:
1930, "die vollstndigkeit der axiome des logischen funktionenkalkls."
monatshefte fr mathematik und physik 37: 34960.
1931, "ber formal unentscheidbare stze der principia mathematica und verwandter systeme, i." monatshefte fr mathematik und physik 38: 17398.
1932, "zum intuitionistischen aussagenkalkl", anzeiger akademie der wissenschaften wien 69: 6566.
dalam bahasa inggris:
the consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory.
princeton university press.
"what is cantor's continuum problem?" the american mathematical monthly 54: 51525.
revised version in paul benacerraf and hilary putnam, eds., 1984 (1964).
philosophy of mathematics: selected readings.
cambridge univ. press: 47085.
1950, "rotating universes in general relativity theory."
proceedings of the international congress of mathematicians in cambridge, 1: 17581
dalam terjemahan bahasa inggris:
kurt godel, 1992.
on formally undecidable propositions of principia mathematica and related systems, tr. b. meltzer, with a comprehensive introduction by richard braithwaite.
dover reprint of the 1962 basic books edition.
kurt godel, 2000.
on formally undecidable propositions of principia mathematica and related systems, tr.
jean van heijenoort, 1967.
a source book in mathematical logic, 18791931.
"the completeness of the axioms of the functional calculus of logic," 58291.
"some metamathematical results on completeness and consistency," 59596.
abstract to (1931).
"on formally undecidable propositions of principia mathematica and related systems," 596616.
"on completeness and consistency," 61617.
"my philosophical viewpoint", c. 1960, tidak dipublikasikan.
"the modern development of the foundations of mathematics in the light of philosophy", 1961, tidak dipublikasikan.
collected works: oxford university press: new york. editor-in-chief: solomon feferman.
volume i: publications 19291936 isbn 978-0-19-503964-1 / paperback:isbn 978-0-19-514720-9,
volume ii: publications 19381974 isbn 978-0-19-503972-6 / paperback:isbn 978-0-19-514721-6,
volume iii: unpublished essays and lectures isbn 978-0-19-507255-6 / paperback:isbn 978-0-19-514722-3,
volume iv: correspondence, ag isbn 978-0-19-850073-5,
volume v: correspondence, hz isbn 978-0-19-850075-9.
dawson, john w., 1997.
logical dilemmas: the life and work of kurt gdel.
wellesley ma: a k peters.
1911 encyclopdia britannica/brnn. (september 19, 2007).
in wikisource, the free library.
retrieved 10 pm est march 13, 2008.
rebecca goldstein, 2005.
incompleteness: the proof and paradox of kurt gdel. w. w.
company, new york. isbn 0-393-32760-4 pbk.
john l. casti and werner depauli, 2000.
gdel: a life of logic, basic books (perseus books group), cambridge, ma. isbn 0-7382-0518-4.
john w. dawson, jr. logical dilemmas: the life and work of kurt gdel.
ak peters, ltd., 1996.
john w. dawson, jr, 1999.
"gdel and the limits of logic", scientific american, vol. 280 num. 6, pp. 7681
torkel franzn, 2005.
gdel's theorem: an incomplete guide to its use and abuse.
wellesley, ma: a k peters.
ivor grattan-guinness, 2000.
the search for mathematical roots 18701940.
princeton univ. press.
jaakko hintikka, 2000.
douglas hofstadter, 1980.
gdel, escher, bach. vintage.
stephen kleene, 1967.
dover paperback reprint ca. 2001.
stephen kleene, 1980.
introduction to metamathematics.
north holland isbn 0-7204-2103-9 (ishi press paperback. 2009.
j.r. lucas, 1970.
the freedom of the will.
clarendon press, oxford.
ernest nagel and newman, james r., 1958.
new york univ. press.
prochzka, ji, 2006, 2006, 2008, 2008, 2010.
kurt gdel: 19061978: genealogie. item, brno. volume i. brno 2006, isbn 80-902297-9-4.
in ger., engl. volume ii.
brno 2006, isbn 80-903476-0-6.
in germ., engl. volume iii.
brno 2008, isbn 80-903476-4-9.
in germ., engl. volume iv.
brno, princeton 2008, isbn 978-80-903476-5-6.
in germ., engl. volume v,brno,princeton 2010, isbn 80-903476-9-x. in germ., engl.
prochzka, ji, 2012.
"kurt gdel: 19061978: historie".
item,brno, wien, princeton.
volume i. isbn 978-80-903476-2-5. in ger., engl.
ed regis, 1987.
who got einstein's office?
addison-wesley publishing company, inc.
raymond smullyan, 1992.
godel's incompleteness theorems.
oxford university press.
olga taussky-todd, 1983.
remembrances of kurt gdel.
science, winter 1988.
hao wang, 1987.
reflections on kurt gdel.
hao wang, 1996.
a logical journey: from godel to philosophy.
yourgrau, palle, 1999.
gdel meets einstein: time travel in the gdel universe.
chicago: open court.
yourgrau, palle, 2004.
a world without time: the forgotten legacy of gdel and einstein.
book review by john stachel in the notices of the american mathematical society (54 (7), pp. 861868):