stanford-oval/wikipedia huggingface dataset:
Teorema ketaklengkapan Gödel
Teorema ketidaklengkapan kedua

Teorema ketidaklengkapan Gödel yang kedua pertama kali muncul sebagai "Teorema XI" dalam makalah Gödel pada tahun 1931 berjudul "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I."
Sebagaimana dengan teorema ketidaklengkapan pertama, Gödel menulis teorema ini dalam matematika formal yang sangat teknis. Dapat dinyatakan secara lebih sederhana dari terjemahan bahasa Inggris sebagai:
Ini menguatkan teorema ketidaklengkapan pertama, karena pernyataan yang dikonstruksi dalam teorema ketidaklengkapan pertama tidak secara langsung menyatakan konsitensi teori itu. Bukti dari teorema ketidaklengkapan kedua diperoleh dengan memformalisasi bukti dari teorema ketidaklengkapan pertama dari dalam teori itu sendiri.
Sejarah

Setelah Gödel mempublikasikan buktinya mengenai teorema kelengkapan sebagai tesis doktoralnya pada tahun 1929, ia beralih kepada problem kedua untuk habilitasinya. Tujuan asalnya adalah untuk memperoleh pemecahan positif dari problem kedua Hilbert (Dawson 1997, p. 63). Pada saat itu, teori-teori bilangan asli dan bilangan real yang mirip dengan aritmetika order kedua dikenal sebagai "analisis", sedangkan teori-teori bilangan asli saja dikenal sebagai "aritmetika".
Lihat pula

Teorema kelengkapan Gödel
Gödel's speed-up theorem
Teorema Löb
Minds, Machines and Gödel
Münchhausen trilemma
Non-standard model of arithmetic
Provability logic
Tarski's undefinability theorem
Third Man Argument
Bibliografi > Artikel tulisan Gödel

1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. Monatshefte für Mathematik und Physik 38: 173-98.
1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. and On formally undecidable propositions of Principia Mathematica and related systems I in Solomon Feferman, ed., 1986. Kurt Gödel Collected works, Vol. I . Oxford University Press: 144-195. The original German with a facing English translation, preceded by a very illuminating introductory note by Kleene.
Hirzel, Martin, 2000, On formally undecidable propositions of Principia Mathematica and related systems I. Diarsipkan 2004-09-16 di Wayback Machine.. A modern translation by Hirzel.
1951, Some basic theorems on the foundations of mathematics and their implications in Solomon Feferman, ed., 1995. Kurt Gödel Collected works, Vol. III. Oxford University Press: 304-23.
Bibliografi > Terjemahan makalah Gödel ke dalam bahasa Inggris semasa hidupnya

B. Meltzer (translation) and R. B. Braithwaite (Introduction), 1962. On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Dover Publications, New York (Dover edition 1992), ISBN 0-486-66980-7 (pbk.) This contains a useful translation of Gödel's German abbreviations on pp. 33–34. As noted above, typography, translation and commentary is suspect. Unfortunately, this translation was reprinted with all its suspect content by
Stephen Hawking editor, 2005. God Created the Integers: The Mathematical Breakthroughs That Changed History, Running Press, Philadelphia, ISBN 0-7624-1922-9. Gödel's paper appears starting on p. 1097, with Hawking's commentary starting on p. 1089.
Martin Davis editor, 1965. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable problems and Computable Functions, Raven Press, New York, no ISBN. Gödel's paper begins on page 5, preceded by one page of commentary.
Jean van Heijenoort editor, 1967, 3rd edition 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge Mass., ISBN 0-674-32449-8 (pbk). van Heijenoort did the translation. He states that "Professor Gödel approved the translation, which in many places was accommodated to his wishes." (p. 595). Gödel's paper begins on p. 595; van Heijenoort's commentary begins on p. 592.
Martin Davis editor, 1965, ibid. "On Undecidable Propositions of Formal Mathematical Systems." A copy with Gödel's corrections of errata and Gödel's added notes begins on page 41, preceded by two pages of Davis's commentary. Until Davis included this in his volume this lecture existed only as mimeographed notes.
Pustaka tambahan > Artikel oleh penulis lain

George Boolos, 1989, "A New Proof of the Gödel Incompleteness Theorem", Notices of the American Mathematical Society v. 36, pp. 388–390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic, Harvard Univ. Press. ISBN 0-674-53766-1
Arthur Charlesworth, 1980, "A Proof of Godel's Theorem in Terms of Computer Programs," Mathematics Magazine, v. 54 n. 3, pp. 109–121. JStor
Martin Davis, "The Incompleteness Theorem", in Notices of the AMS vol. 53 no. 4 (April 2006), p. 414.
Jean van Heijenoort, 1963. "Gödel's Theorem" in Edwards, Paul, ed., Encyclopedia of Philosophy, Vol. 3. Macmillan: 348-57.
Geoffrey Hellman, How to Gödel a Frege-Russell: Gödel's Incompleteness Theorems and Logicism. Noûs, Vol. 15, No. 4, Special Issue on Philosophy of Mathematics. (Nov., 1981), pp. 451–468.
David Hilbert, 1900, "Mathematical Problems." English translation of a lecture delivered before the International Congress of Mathematicians at Paris, containing Hilbert's statement of his Second Problem.
Kikuchi, Makoto; Tanaka, Kazuyuki (1994), "On formalization of model-theoretic proofs of Gödel's theorems", Notre Dame Journal of Formal Logic, 35 (3): 403–412, doi:10.1305/ndjfl/1040511346, ISSN 0029-4527, MR 1326122
Stephen Cole Kleene, 1943, "Recursive predicates and quantifiers," reprinted from Transactions of the American Mathematical Society, v. 53 n. 1, pp. 41–73 in Martin Davis 1965, The Undecidable (loc. cit.) pp. 255–287.
John Barkley Rosser, 1936, "Extensions of some theorems of Gödel and Church," reprinted from the Journal of Symbolic Logic vol. 1 (1936) pp. 87–91, in Martin Davis 1965, The Undecidable (loc. cit.) pp. 230–235.
John Barkley Rosser, 1939, "An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem", Reprinted from the Journal of Symbolic Logic, vol. 4 (1939) pp. 53–60, in Martin Davis 1965, The Undecidable (loc. cit.) pp. 223–230
C. Smoryński, "The incompleteness theorems", in J. Barwise, ed., Handbook of Mathematical Logic, North-Holland 1982 ISBN 978-0-444-86388-1, pp. 821–866.
Dan E. Willard (2001), "Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles", Journal of Symbolic Logic, v. 66 n. 2, pp. 536–596. DOI:10.2307/2695030
Richard Zach (2003), "The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program" (PDF), Synthese, Berlin, New York: Springer-Verlag, 137 (1): 211–259, doi:10.1023/A:1026247421383, ISSN 0039-7857
Richard Zach (2005), "Paper on the incompleteness theorems",  dalam Ivor Grattan-Guinness, Landmark Writings in Western Mathematics, Elsevier, hlm. 917–25, doi:10.1016/B978-044450871-3/50152-2
Pustaka tambahan > Buku-buku mengenai teorema

Francesco Berto. There's Something about Gödel: The Complete Guide to the Incompleteness Theorem John Wiley and Sons. 2010.
Domeisen, Norbert, 1990. Logik der Antinomien. Bern: Peter Lang. 142 S. 1990. ISBN 3-261-04214-1. Zentralblatt MATH
Torkel Franzén, 2005. Gödel's Theorem: An Incomplete Guide to its Use and Abuse. A.K. Peters. ISBN 1-56881-238-8 MR2007d:03001
Douglas Hofstadter, 1979. Gödel, Escher, Bach: An Eternal Golden Braid. Vintage Books. ISBN 0-465-02685-0. 1999 reprint: ISBN 0-465-02656-7. MR80j:03009
Douglas Hofstadter, 2007. I Am a Strange Loop. Basic Books. ISBN 978-0-465-03078-1. ISBN 0-465-03078-5. MR2008g:00004
Stanley Jaki, OSB, 2005. The drama of the quantities. Real View Books.
Per Lindström, 1997, Aspects of Incompleteness, Lecture Notes in Logic v. 10.
J.R. Lucas, FBA, 1970. The Freedom of the Will. Clarendon Press, Oxford, 1970.
Ernest Nagel, James Roy Newman, Douglas Hofstadter, 2002 (1958). Gödel's Proof, revised ed. ISBN 0-8147-5816-9. MR2002i:03001
Rudy Rucker, 1995 (1982). Infinity and the Mind: The Science and Philosophy of the Infinite. Princeton Univ. Press. MR84d:03012
Smith, Peter, 2007. An Introduction to Gödel's Theorems. Diarsipkan 2005-10-23 di Wayback Machine. Cambridge University Press. MathSciNet[pranala nonaktif permanen]
N. Shankar, 1994. Metamathematics, Machines and Gödel's Proof, Volume 38 of Cambridge tracts in theoretical computer science. ISBN 0-521-58533-3
Raymond Smullyan, 1991. Godel's Incompleteness Theorems. Oxford Univ. Press.
—, 1994. Diagonalization and Self-Reference. Oxford Univ. Press. MR96c:03001
Hao Wang, 1997. A Logical Journey: From Gödel to Philosophy. MIT Press. ISBN 0-262-23189-1 MR97m:01090
Pustaka tambahan > Pustaka lain-lain

Francesco Berto. "The Gödel Paradox and Wittgenstein's Reasons" Philosophia Mathematica (III) 17. 2009.
John W. Dawson, Jr., 1997. Logical Dilemmas: The Life and Work of Kurt Gödel, A. K. Peters, Wellesley Mass, ISBN 1-56881-256-6.
Goldstein, Rebecca, 2005, Incompleteness: the Proof and Paradox of Kurt Gödel, W. W. Norton & Company. ISBN 0-393-05169-2
Juliet Floyd and Hilary Putnam, 2000, "A Note on Wittgenstein's 'Notorious Paragraph' About the Gödel Theorem", Journal of Philosophy v. 97 n. 11, pp. 624–632.
David Hilbert and Paul Bernays, Grundlagen der Mathematik, Springer-Verlag.
John Hopcroft and Jeffrey Ullman 1979, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, ISBN 0-201-02988-X
James P. Jones, Undecidable Diophantine Equations, Bulletin of the American Mathematical Society v. 3 n. 2, 1980, pp. 859–862.
Stephen Cole Kleene, 1967, Mathematical Logic. Reprinted by Dover, 2002. ISBN 0-486-42533-9
Russell O'Connor, 2005, "Essential Incompleteness of Arithmetic Verified by Coq", Lecture Notes in Computer Science v. 3603, pp. 245–260.
Graham Priest, 2006, In Contradiction: A Study of the Transconsistent, Oxford University Press, ISBN 0-19-926329-9
Graham Priest, 2004, Wittgenstein's Remarks on Gödel's Theorem in Max Kölbel, ed., Wittgenstein's lasting significance, Psychology Press, pp. 207–227.
Graham Priest, 1984, "Logic of Paradox Revisited", Journal of Philosophical Logic, v. 13,` n. 2, pp. 153–179
Hilary Putnam, 1960, Minds and Machines in Sidney Hook, ed., Dimensions of Mind: A Symposium. New York University Press. Reprinted in Anderson, A. R., ed., 1964. Minds and Machines. Prentice-Hall: 77.
Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (edisi ke-3rd), New York: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6 [pranala nonaktif permanen].
Victor Rodych, 2003, "Misunderstanding Gödel: New Arguments about Wittgenstein and New Remarks by Wittgenstein", Dialectica v. 57 n. 3, pp. 279–313. DOI:10.1111/j.1746-8361.2003.tb00272.x
Stewart Shapiro, 2002, "Incompleteness and Inconsistency", Mind, v. 111, pp 817–32. DOI:10.1093/mind/111.444.817
Alan Sokal and Jean Bricmont, 1999, Fashionable Nonsense: Postmodern Intellectuals' Abuse of Science, Picador. ISBN 0-312-20407-8
Joseph R. Shoenfield (1967), Mathematical Logic. Reprinted by A.K. Peters for the Association for Symbolic Logic, 2001. ISBN 978-1-56881-135-2
Jeremy Stangroom and Ophelia Benson, Why Truth Matters, Continuum. ISBN 0-8264-9528-1
George Tourlakis, Lectures in Logic and Set Theory, Volume 1, Mathematical Logic, Cambridge University Press, 2003. ISBN 978-0-521-75373-9
Wigderson, Avi (2010), "The Gödel Phenomena in Mathematics: A Modern View" (PDF), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, Cambridge University Press
Hao Wang, 1996, A Logical Journey: From Gödel to Philosophy, The MIT Press, Cambridge MA, ISBN 0-262-23189-1.
Richard Zach, 2006, "Hilbert's program then and now", in Philosophy of Logic, Dale Jacquette (ed.), Handbook of the Philosophy of Science, v. 5., Elsevier, pp. 411–447.
Pranala luar

Godel's Incompleteness Theorems di In Our Time di BBC. (listen now)
(Inggris) Entri Kurt Gödel di Stanford Encyclopedia of Philosophy oleh Juliette Kennedy , July 5, 2011
(Inggris) Entri Gödel's Incompleteness Theorems di Stanford Encyclopedia of Philosophy oleh Panu Raatikainen, November 11, 2013
MacTutor biographies:
Kurt Gödel. Diarsipkan 2005-10-13 di Wayback Machine.
Gerhard Gentzen. Diarsipkan 2012-10-19 di Wayback Machine.
What is Mathematics:Gödel's Theorem and Around by Karlis Podnieks. An online free book.
World's shortest explanation of Gödel's theorem using a printing machine as an example.
October 2011 RadioLab episode about/including Gödel's Incompleteness theorem
Hazewinkel, Michiel, ed. (2001) [1994], "Gödel incompleteness theorem", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Templat:Metalogic
| Pengawasan otoritas  |
| --- | --- |
Umum:  Integrated Authority File (Jerman) 
Perpustakaan nasional:  Prancis (data)  Amerika Serikat  Latvia  Republik Ceko 
Lain-lain:  Microsoft Academic
Kota Cixi

| Cixi 慈溪市 |
| --- | --- |
Wilayah tingkat kota
Jembatan Teluk Hangzhou
Kota Cixi di Kotamadya Ningbo
Kotamadya Ningbo di Tiongkok
Negara: Republik Rakyat Tiongkok
Provinsi: Zhejiang
kota sub-provinsi: Ningbo
Zona waktu: UTC+8 (Standar Tiongkok)
Kode pos: 315300
Kode area telepon: 330282
Situs web: cixi.gov.cn
CixiBerkas:Ci2xi1.ogg (Hanzi: 慈溪; Pinyin: Cíxī; Wade–Giles: Tz'u-hsi; awalnya disebut Tsekee atau Tzeki) adalah sebuah kota serta kota sub-provinsi di Ningbo, Zhejiang.
Sejarah

Cixi adalah sebuah kota dengan budaya nasi dan sejarah panjang.
Geografi

Kota Cixi terletak di sebelah selatan lingkaran ekonomi Delta Sungai Yangtze
Orang terkenal

Han Zheng - Wali kota Shanghai Han Zheng
Tan Jiazhen - pendiri genetik Tiongkok modern
Ren Mei'e - Presiden Lembaga Geografi Tiongkok
Lu Yongxiang - Presiden Akademi Ilmu Pengetahuan Tiongkok
Han Qide - Ketua Ikatan Ilmu Pengetahuan dan Teknologi Tiongkok
Lu Zhangong - Sekretaris Jenderal Provinsi Fujian
Weng Wenhao - Perdana Menteri Republik Tiongkok
Ing Chang-ki - ahli industri terkemuka Taiwan
Zhou Xinfang - Master Opera Beijing
Zhu Zuxiang - ilmuwan agrikultural
Yang Xianjiang - ahli pendidikan
Lihat pula

Daftar kota kembar dan kota bersaudara di Tiongkok
Pranala luar

Situs resmi Pemerintahan Rakyat Kota Cixi
30°10′N 121°14′E﻿ / ﻿30.167°N 121.233°E﻿ / 30.167; 121.233
Lee Chae-young (penyanyi, kelahiran 2002)

| Lee Chae-young |
| --- | --- |
Lee Chae-young
Lahir: 23 Januari 2002 (umur 22) - Busan, Korea Selatan
Kebangsaan: Korea Selatan
Nama lain: ISA
Pekerjaan: Penyanyi

    
Lee Chae-young atau ISA (lahir 23 Januari 2002
) adalah seorang penyanyi asal Korea Selatan kelahiran Busan. Ia merupakan anak tunggal. Ia telah berlatih di akademi Hak Entertainment Busan, sebelum akhirnya lolos audisi di High Up Entertainment pada Maret 2018. Ia menghabiskan waktu selama 2 tahun 9 bulan dalam menjadi magang di High Up Entertainment. Ia diperkenalkan sebagai anggota STAYC pada 12 Oktober 2020.
Puruk Kambang, Tanah Siang Selatan, Murung Raya

| Puruk Kambang |
| --- | --- |
Desa
Kantor desa Puruk Kambang
Negara:  Indonesia
Provinsi: Kalimantan Tengah
Kabupaten: Murung Raya
Kecamatan: Tanah Siang Selatan
Kode pos: 73960
Kode Kemendagri: 62.12.07.2007 
Luas: ... km²
Jumlah penduduk: ... jiwa
Kepadatan: ... jiwa/km²
Puruk Kambang adalah salah satu desa di Kecamatan Tanah Siang Selatan, Kabupaten Murung Raya, Provinsi Kalimantan Tengah, Indonesia.
Pranala luar

Master Wilayah di situs BPS (Data Desember 2007)
Daftar kode desa Kalimantan Tengah
| l b Kecamatan Tanah Siang Selatan, Kabupaten Murung Raya, Kalimantan Tengah |
| --- | --- |
Desa:  Datah Kotou  Dirung Lingkin  Olung Hanangan  Olung Muro  Oreng  Puruk Kambang  Tahujan Ontu
M&T Bank

| --- | --- |

Kantor pusat M&T Bank di Buffalo
Jenis: Publik
Kode emiten: NYSE: MTB S&P 500 component
Industri: Perbankan Jasa keuangan
Didirikan: 29 Agustus 1856; 168 tahun lalu (1856-08-29)
Kantor pusat: One M&T Plaza Buffalo, New York, AS
Tokoh kunci: René F. Jones (Ketua dan CEO) Kevin J. Pearson (Wakil Ketua) Richard S. Gold (Presiden dan COO)
Produk: Bank ritel Bank komersial Perbankan investasi Manajemen Investasi Perbankan privat
Pendapatan:  US$6,12 juta (2021)
Laba bersih:  US$1,776 juta (2021)
Total aset:  US$155,12 juta (2021)
Total ekuitas:  US$17,903 juta (2021)
Karyawan: 17.569 (2021)
Anak usaha: Wilmington Trust
Situs web: www.mtb.com
Catatan kaki / referensi 
M&T Bank Corporation (Perusahaan Perwalian Produsen dan Pedagang) adalah perusahaan induk bank Amerika Serikat yang berkantor pusat di Buffalo, New York. Perusahaan ini mengoperasikan 1.000+ cabang di 12 negara bagian di Amerika Serikat Bagian Timur, dari Maine hingga Virginia Utara. Hingga Mei 1998, perusahaan induk bank tersebut bernama First Empire State Corporation.
Pada pertengahan abad ke-19, hanya sedikit pilihan perbankan yang tersedia karena semakin banyaknya produsen di kota Buffalo. Hasilnya, pengusaha Pascal Pratt dan Bronson Rumsey mendirikan M&T Bank pada tahun 1856 sebagai "Perusahaan Perwalian Produsen dan Pedagang". Henry Martin, mantan presiden Attica dan Buffalo Railroad, ditunjuk sebagai presiden pertama dan diberi gaji $1.000 per tahun. Perusahaan membuka kantor pertamanya pada tanggal 29 Agustus tahun itu di 2 East Swan Street di Buffalo. Pada tahun 1885, Martin pensiun sebagai presiden, pada usia 83 tahun, dan digantikan oleh Pascal Pratt, yang menjabat sebagai Wakil Presiden sejak bank tersebut didirikan.
M&T Bank telah memperoleh keuntungan di setiap kuartal sejak tahun 1976. Selain Northern Trust, M&T adalah satu-satunya bank di Indeks S&P 500 yang tidak menurunkan dividennya selama krisis keuangan tahun 2007–2008.
Bank tersebut memiliki gedung Buffalo Savings Bank di pusat kota Buffalo, Bridgeport Center di Bridgeport, Connecticut, dan M&T Tech Hub di Seneca One Tower. Ia juga mensponsori Stadion M&T Bank, markas Baltimore Ravens, serta Universitas Buffalo (Auditorium M&T Bank, Atrium M&T Bank).
Lambak Kanan

| Lambak Kanan RPN Lambak Kanan Kampung Perpindahan Lambak Kanan |
| --- | --- |
Perumahan Umum
Masjid Perpindahan Lambak Kanan
Lokasi di Brunei Darussalam
Koordinat: 4°58′20″N 114°57′58″E﻿ / ﻿4.97211°N 114.96608°E﻿ / 4.97211; 114.96608
Negara: Brunei Darussalam
Distrik: Brunei-Muara
Mukim: Berakas 'B'
Didirikan: 1986
Populasi (2016)
 • Total: 19.833
Zona waktu: UTC+8 (BNT)
RPN Lambak Kanan, Kampung Perpindahan Lambak Kanan atau hanya Lambak Kanan adalah perumahan umum di Daerah Brunei-Muara, Brunei Darussalam, di pinggiran ibu kota negara tersebut, Bandar Seri Begawan. Total populasi adalah 19.833 jiwa pada tahun 2016. Didirikan pada tahun 1986, ini adalah perumahan pertama untuk Skema Perumahan Nasional (Rancangan Perumahan Negara, RPN), program perumahan umum untuk warga negara tersebut.
Geografi

Perumahan ini terletak di pinggiran utara wilayah kotamadya Bandar Seri Begawan, dan sekitar 12 kilometer (7,5 mil) dari pusat kota. Desa-desa tetangga meliputi Kampung Salambigar di sebelah timur, Kampung Sungai Hanching dan Kampung Sungai Tilong di sebelah tenggara, Kampung Manggis di sebelah selatan, Kampung Madang di sebelah barat daya, Kampung Lambak di sebelah barat, dan Kampung Lambak Kiri di sebelah barat laut.
Administrasi

Untuk tujuan pembagian wilayah, kawasan ini telah dibagi menjadi lima desa :
| Desa | Populasi (2016) | Kode Pos | Mukim |
| --- | --- | --- | --- |
| RPN Lambak Kanan Area 1 | 4.919 | BC2315 | Berakas 'B' |
| RPN Lambak Kanan Area 2 | 5.339 | BC2515 | Berakas 'B' |
| RPN Lambak Kanan Area 3 | 2.878 | BC2715 | Berakas 'B' |
| RPN Lambak Kanan Area 4 | 4.823 | BC2915 | Berakas 'B' |
| RPN Lambak Kanan Area 5 | 1.874 | BC3115 | Berakas 'B' |
| Total | 19.833 | - | - |
Demografi

Kawasan ini dihuni oleh 4.000 hingga 5.000 jiwa penduduk yang terdiri dari 266 orang lansia, 42 orang anak yatim. Desa ini memiliki 648 rumah. Luas wilayah Desa Wilayah 3 Perumahan Nasional Lambak Kanan adalah 139,66 hektar dengan total lebih dari 350 rumah. Total lebih dari 3.300 jiwa penduduk tinggal di desa ini, yang meliputi 391 orang lansia.
Tokoh terkenal

Zain Serudin (lahir 1936), penulis dan politisi
Adanan Yusuf (lahir 1952), politisi
Mac Gréine

Dalam mitologi Irlandia, Mac Gréine dari Tuatha Dé Danann adalah anak dari Cermait, anak Dagda. Mac Gréine memiliki nama lahir Céthur dan bernama Mac Gréine menurut dewanya, Grian, sang sun. Mac Gréine adalah bahasa Irlandia untuk "Anak Matahari". Istrinya Ériu.
Dia dan saudara-saudaranya Mac Cuill dan Mac Cecht membunuh Lug dalam balas dendam untuk ayah mereka. Tiga bersaudara bergabung menjadi Raja Tertinggi Irlandia, memutar kedaulatan antara mereka satu tahun untu setiap raja, meliputi dua puluh sembilan atau tiga puluh tahun yang tergantung pada sumber yang dijadikan konsultasi. Mereka adalah raja-raja terakhir dari Tuatha Dé Danann sebelum kedatangan Milesians.
Manuk (disambiguasi)

Manuk dapat mengacu pada beberapa hal berikut:
Burung Garuda, bahasa Indonesia dari Manuk Dadali dalam bahasa Sunda.
Manuk Dadali, lagu berbahasa Sunda yang diciptakan oleh Sambas Mangundikarta
Manuk, Siman, Ponorogo, desa yang terletak di Indonesia
Pulau Manuk, pulau yang terdapat di Indonesia
Lisa the Tree Hugger

| "Lisa the Tree Hugger" |
| --- | --- |
Episode no.: Musim 12 
Disutradarai oleh: Steven Dean Moore
Ditulis oleh: Matt Selman
Tanggal mula ditayangkan: 19 November 2000
"Lisa the Tree Hugger" adalah episode keempat dari musim kedua belas sitkom animasi Amerika Serikat The Simpsons. Episode tersebut awalnya disiarkan dalam saluran Fox di Amerika Serikat pada 19 November 2000.
Pranala luar

Wikiquote memiliki koleksi kutipan yang berkaitan dengan: .
"Lisa the Tree Hugger episode capsule". The Simpsons Archive.
"Lisa the Tree Hugger" di IMDb (dalam bahasa Inggris)
"Lisa the Tree Hugger" di TV.com
| l b Episode-episode The Simpsons |
| --- | --- |
 Seasons 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 
Musim 12:  "Treehouse of Horror XI"  "A Tale of Two Springfields"  "Insane Clown Poppy"  "Lisa the Tree Hugger"  "Homer vs. Dignity"  "The Computer Wore Menace Shoes"  "The Great Money Caper"  "Skinner's Sense of Snow"  "HOMR"  "Pokey Mom"  "Worst Episode Ever"  "Tennis the Menace"  "Day of the Jackanapes"  "New Kids on the Blecch"  "Hungry, Hungry Homer"  "Bye Bye Nerdie"  "Simpson Safari"  "Trilogy of Error"  "I'm Goin' to Praiseland"  "Children of a Lesser Clod"  "Simpsons Tall Tales"
Louis Aucoc

Louis Aucoc
Louis Aucoc (Paris, 21 September 1850  – Paris, 10 Desember 1932), adalah seorang ahli perhiasan dan pandai emas Art Nouveau, yang bekerja dengan ayahanda dan saudaranya André.
Perusahaan keluarga Aucoc di 6 Rue de la Paix didirikan di Paris pada 1821 dan dilindungi oleh istana Raja Louis Philippe, dari Wangsa Orléans, Napoleon III dan Eugénie de Montijo. Toko ini disebutkan dalam bab pertama La Dame aux Camélias (diterbitkan pada 1848).
Dari 1874 hingga 1876, René Lalique magang di Aucoc.  Lalique kemudian menjadi sosok yang menentukan dalam gerakan art nouveau. Bisnis ini ditinggalkan keluarga Aucoc pada 1932. Louis Aucoc menikahi Micheline Louise Isaiah Rondeleux pada 4 Juni 1872  dan memiliki tiga anak - Georges, René dan seorang putri yang menikah dengan André la Ferté.
Kretek, Bantul

Untuk tempat lain yang bernama sama, lihat Kretek (disambiguasi).
| Kretek |
| --- | --- |
Kapanewon
Peta lokasi Kapanewon Kretek
Negara:  Indonesia
Provinsi: Daerah Istimewa Yogyakarta
Kabupaten: Bantul
Pemerintahan
 • Panewu: Drs. Clemens Chamdani
Populasi
 • Total: - jiwa
Kode Kemendagri: 34.02.03 
Kode BPS: 3402030 
Luas: 26,77 km²
Desa/kelurahan: 5
Kretek (bahasa Jawa: Krètèk) adalah sebuah kapanéwon di Kabupaten Bantul, Provinsi Daerah Istimewa Yogyakarta, Indonesia.
Objek Wisata Alam

Pantai Parangtritis
Pantai Depok
Pantai Parangkusumo
Pantai Parangendok
Pantai Pelangi
Gumuk Pasir Yogyakarta
Pemandian air panas Parangwedang
Bukit Gembirowati
Obyek Wisata Edukasi dan Rekreasi

Museum dan Laboratorium Geospasial dan Geomaritim
Eks Kid Fun
Bandara Paralayang Depok
Dermaga Kayak Dibawah Jembatan
Laguna Depok