molase juga dapat difermentasi untuk menghasilkan rum dan etanol, bahan aktif dalam minuman beralkohol lainnya dan komponen kunci dalam pembuatan amunisi.keruntuhan menimbulkan gelombang molase dengan tinggi puncaknya molase, setinggi pinggang, menutupi jalan, berputar-putar, dan digelembungkan reruntuhan ... di sana-sini berjuang sesuatuapakah itu binatang atau manusia yang mustahil untuk memberitahu.
hanya pergolakan, meronta-ronta dalam massa lengket, menunjukkan dimana terdapat kehidupan apapun itu ... kuda mati seperti begitu banyak lalat pada kertas penangkap lalat yang lengket.
semakin banyak mereka berjuang, semakin dalam mereka terjerat.
manusia-pria dan wanita menderita juga.
... anthony di stasio, berjalan pulang dengan saudara-saudara perempuannya dari sekolah michelangelo, diangkat oleh gelombang dan membawanya, jatuh pada puncaknya, hampir seolah-olah ia sedang berselancar.
lalu ia beralaskan molase dan mendorongnya seperti kerikil ketika gelombang berkurang.
dia mendengar ibunya memanggil namanya dan tidak bisa menjawab, tenggorokannya begitu tersumbat dengan terbekap cairan lengket.
dia pingsan, kemudian membuka matanya dan menemukan tiga dari empat saudaranya menatapnya.
detil daerah banjir molase.
tangki molase purity distilling
pemadam kebakaran 31 (kerusakan berat)
departemen pengaspalan dan kantor polisi
kantor purity (rata dengan tanah)
copps hill terrace
gedung boston gas light (rusak)
gudang purity (kebanyakan utuh)
daerah perumahan (lokasi rumah clougherty yang rata dengan tanah)
yang pertama kali terjun ke tkp sebanyak 116 taruna di bawah arahan letnan komandan h. j. copeland dari uss nantucket, kapal pelatihan sekolah pelatihan massachusetts (yang sekarang bernama akademi maritim massachusetts), yang berlabuh di dekat lokasi di dermaga taman bermain.
mereka berlari beberapa blok ke arah kecelakaan.
mereka bekerja untuk menjaga orang yang penasaran di jalan penyelamatan sementara orang lain masuk ke dalam kekacauan lengket setinggi lutut yang menarik para korban.
segera kepolisian boston, palang merah, angkatan darat dan personil angkatan laut lainnya tiba.
beberapa perawat dari palang merah terjun ke molase, sementara yang lain cenderung terluka, menjaga mereka hangat dan menjaga pekerja yang kelelahan.
banyak dari orang-orang ini bekerja sepanjang malam.
yang terluka begitu banyak sehingga dokter dan ahli bedah mendirikan rumah sakit darurat di sebuah gedung di dekatnya.
tim penyelamat menemukan kesulitan untuk membuat jalan mereka melalui molase untuk membantu para korban.
butuh waktu empat hari sebelum mereka berhenti mencari korban; banyak orang mati terlapisi molase, mereka sulit untuk dikenali.
penduduk setempat membawa gugatan kelompok, salah satu yang pertama diadakan di massachusetts, melawan perusahaan industri alkohol amerika serikat (united states industrial alcohol company atau usia), yang telah membeli purity distilling (penyulingan murni) pada tahun 1917.
meskipun upaya perusahaan untuk mengklaim bahwa tangki telah diserang oleh anarkis
petugas pembersihan menggunakan air garam dari kapal pemadam kebakaran untuk mencuci molase, dan menggunakan pasir untuk mencoba menyerapnya.
pelabuhan berwarna cokelat dengan molase sampai musim panas.
pembersihan di daerah sekitar bencana mengambil waktu "beberapa minggu", "the molasses disaster of january 15, 1919", reprinted from yankee magazine.
retrieved 2014-06-08 dengan lebih dari 300 orang yang berkontribusi terhadap upaya pembersihan.
patrick breen44buruh (north end paving yard)
bridget clougherty65ibu rumah tangga
john callahan43pengaspal (north end paving yard)
maria di stasio10anak-anak
william duffy58buruh (north end paving yard)
peter francis64pandai besi (north end paving yard)
james h. kinneallytidak diketahuiburuh (north end paving yard)
george layhe38pemadam kebakaran (engine 31)
james lennon64pengendara trem/masinis
james mcmullen46mandor, bay state express
cesar nicolo32pengirim kargo
thomas noonan43buruh pelabuhan
john m. seiberlich69pandai besi (north end paving yard)
beberapa faktor yang terjadi pada hari itu dan hari-hari sebelumnya mungkin telah berkontribusi terhadap bencana ini.
tangki dibuat dengan buruk dan kurang diuji.
karena fermentasi yang terjadi di dalam tangki, produksi karbon dioksida mungkin telah menaikkan tekanan internal.
kenaikan suhu lokal yang terjadi selama hari sebelumnya juga telah membantu dalam membangun tekanan ini.
catatan menunjukkan bahwa suhu udara naik dari 2 f menjadi 41 f (-17 c menjadi 5,0 c) selama periode tersebut.
kerusakan terjadi dari penutup lubang dekat pangkal tangki, dan adalah mungkin bahwa terdapat retakan kelelahan yang berkembang ke titik kritis.
tegangan melingkar paling besar terjadi di dekat pangkal tangki silinder yang terisi.
tangki hanya delapan kali terisi penuh sejak dibuat beberapa tahun sebelumnya, menempatkan dinding di bawah bertenggang beban siklis.
beberapa penulis mengatakan bahwa perusahaan penyulingan murni adalah (atau mungkin) mencoba untuk melanggar larangan di amerika serikat; konstitusi amerika serikat amendemen ke-18 diratifikasi hari berikutnya (16 januari 1919), dan akan berlaku satu tahun kemudian.
sebuah penyelidikan setelah bencana mengungkapkan bahwa arthur jell, yang mengawasi pembuatannya, mengabaikan tes keselamatan dasar, seperti mengisi tangki dengan air untuk memeriksa kebocoran.
ketika diisi dengan molase, tangki bocor begitu parah, dan bahwa tangki dicat cokelat untuk menyembunyikan kebocorannya.
penduduk setempat mengumpulkan molase yang tumpah untuk disimpan di rumah mereka.
sebuah penyelidikan pertama kali diterbitkan pada tahun 2014, menerapkan analisis teknik modern, menemukan bahwa baja itu tidak hanya tebalnya setengah dari ukuran tangki yang seharusnya, bahkan dengan standar kelonggaran, tetapi juga tidak memiliki mangan, dan dibuat lebih rapuh sebagai hasilnya.
wilayah saat ini
sebuah plakat kecil di pintu masuk ke puopolo park, ditempatkan oleh boston society, untuk mengenang bencana ini.
plakat tersebut, berjudul "boston molasses flood", berbunyi:
pada tanggal 15 januari 1919, sebuah tangki molase di 529 commercial street meledak di bawah tekanan, menewaskan 21 orang.
gelombang molase setinggi 40 kaki membengkokkan rel kereta api, bangunan hancur dan merendam lingkungan.
kecacatan struktural dalam tangki dikombinasikan dengan suhu hangat tidak menurut musim berkontribusi pada bencana ini.
salah satu kendaraan wisata amfibi dukw yang dioperasikan oleh boston duck tours, tepat dicat coklat gelap, dinamai molly molasses untuk mengenang bencana ini, per praktik perusahaan menamai dukw mereka setelah menempati lokasi boston terkenal, kegiatan dan potongan budaya lokal lainnya.
banjir bir london
tumpahan molase honolulu (september 2013)
kategori:amerika serikat dalam tahun 1919
kategori:amerika serikat dalam tahun 1910-an
kategori:bencana tahun 1919
kategori:banjir di amerika serikat
kategori:sejarah boston, massachusetts
kategori:kecelakaan dan insiden industri
kategori:north end, boston
teori ketidaklengkapan pertama
teorema ketidaklengkapan gdel yang pertama pertama kali muncul sebagai "teorema vi" dalam makalah gdel pada tahun 1931 berjudul "on formally undecidable propositions in principia mathematica and related systems i."
teorema ini ditulis dalam matematika formal yang sangat teknis.
dapat dinyatakan secara lebih sederhana dari terjemahan bahasa inggris sebagai:
setiap teori yang dihasilkan secara efektif yang mampu menyatakan aritmetika elementer tidak dapat sama-sama konsisten dan lengkap atau komplet.
khususnya, untuk setiap teori formal yang secara efektif dihasilkan dan yang konsisten, yang membuktikan kebenaran aritmetika dasar tertentu, ada suatu pernyataan aritmetika yang benar,kata "benar" digunakan secara disquotational di sini: kalimat gdel adalah benar dalam hal ini karena "menyatakan unprovability (hakikat tidak dapat dibuktikan) sendiri dan memang unprovable (tidak dapat dibuktikan)" (smoryski 1977 p. 825; also see franzn 2005 pp. 2833).
juga mungkin untuk dibaca sebagai "gt adalah benar" dalam artian formal bahwa aritmetika rekursif primitif membuktikan implikasi con(t)gt, di mana con(t) adalah kalimat kanonikal yang menyatakan konsistensi t (smoryski 1977 p. 840, kikuchi and tanaka 1994 p. 403).
namun, pernyataan aritmetika yang dipertanyakan adalah salah dalam sejumlah model aritmetika non-standar.
tetapi tidak dapat dibuktikan dalam teori ini (kleene 1967, p. 250).
teorema ketidaklengkapan kedua
teorema ketidaklengkapan gdel yang kedua pertama kali muncul sebagai "teorema xi" dalam makalah gdel pada tahun 1931 berjudul "on formally undecidable propositions in principia mathematica and related systems i."
sebagaimana dengan teorema ketidaklengkapan pertama, gdel menulis teorema ini dalam matematika formal yang sangat teknis.
dapat dinyatakan secara lebih sederhana dari terjemahan bahasa inggris sebagai:
untuk setiap teori t yang dihasilkan formal secara efektif memuat kebenaran aritmetika dasar dan juga kebenaran tertentuk mengenai provabilitas formal, jika t memuat suatu pernyataan mengenai konsistensinya sendiri,maka t inkonsisten.
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.
setelah gdel 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".
teorema kelengkapan gdel
gdel's speed-up theorem
minds, machines and gdel
non-standard model of arithmetic
tarski's undefinability theorem
third man argument
artikel tulisan gdel
1931, ber formal unentscheidbare stze der principia mathematica und verwandter systeme, i. monatshefte fr mathematik und physik 38: 173-98.
1931, ber formal unentscheidbare stze 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 gdel 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.. a modern translation by hirzel.
1951, some basic theorems on the foundations of mathematics and their implications in solomon feferman, ed., 1995.
kurt gdel collected works, vol. iii.
oxford university press: 304-23.
terjemahan makalah gdel 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 gdel's german abbreviations on pp. 3334.
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.
gdel'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.
gdel's paper begins on page 5, preceded by one page of commentary.
jean van heijenoort editor, 1967, 3rd edition 1967.
from frege to gdel: 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 gdel approved the translation, which in many places was accommodated to his wishes." (p. 595).
gdel'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 gdel's corrections of errata and gdel'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.
artikel oleh penulis lain
george boolos, 1989, "a new proof of the gdel incompleteness theorem", notices of the american mathematical society v. 36, pp. 388390 and p. 676, reprinted in boolos, 1998, logic, logic, and logic, harvard univ.
arthur charlesworth, 1980, "a proof of godel's theorem in terms of computer programs," mathematics magazine, v. 54 n. 3, pp. 109121.
martin davis, " the incompleteness theorem", in notices of the ams vol. 53 no. 4 (april 2006), p. 414.
jean van heijenoort, 1963.
"gdel's theorem" in edwards, paul, ed., encyclopedia of philosophy, vol. 3.
geoffrey hellman, how to gdel a frege-russell: gdel's incompleteness theorems and logicism.
nos, vol. 15, no. 4, special issue on philosophy of mathematics. (nov., 1981), pp. 451468.
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.
stephen cole kleene, 1943, "recursive predicates and quantifiers," reprinted from transactions of the american mathematical society, v. 53 n. 1, pp. 4173 in martin davis 1965, the undecidable (loc. cit.) pp. 255287.
john barkley rosser, 1936, "extensions of some theorems of gdel and church," reprinted from the journal of symbolic logic vol. 1 (1936) pp. 8791, in martin davis 1965, the undecidable (loc. cit.) pp. 230235.
john barkley rosser, 1939, "an informal exposition of proofs of gdel's theorem and church's theorem", reprinted from the journal of symbolic logic, vol. 4 (1939) pp. 5360, in martin davis 1965, the undecidable (loc. cit.) pp. 223230
c. smoryski, "the incompleteness theorems", in j. barwise, ed., handbook of mathematical logic, north-holland 1982 isbn 978-0-444-86388-1, pp. 821866.
dan e. willard (2001), " self-verifying axiom systems, the incompleteness theorem and related reflection principles", journal of symbolic logic, v. 66 n. 2, pp. 536596.
buku-buku mengenai teorema
there's something about gdel: the complete guide to the incompleteness theorem john wiley and sons. 2010.
domeisen, norbert, 1990.
logik der antinomien.
bern: peter lang. 142 s. 1990.
torkel franzn, 2005.
gdel's theorem: an incomplete guide to its use and abuse.
douglas hofstadter, 1979.
gdel, escher, bach: an eternal golden braid.
1999 reprint: isbn 0-465-02656-7.
douglas hofstadter, 2007.
i am a strange loop. basic books.
stanley jaki, osb, 2005.
the drama of the quantities.
real view books.
per lindstrm, 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).
gdel's proof, revised ed.
rudy rucker, 1995 (1982).
infinity and the mind: the science and philosophy of the infinite.
princeton univ. press.
smith, peter, 2007.
an introduction to gdel's theorems.
cambridge university press.
n. shankar, 1994.
metamathematics, machines and gdel's proof, volume 38 of cambridge tracts in theoretical computer science.
raymond smullyan, 1991.
godel's incompleteness theorems.
oxford univ. press.
diagonalization and self-reference.
oxford univ. press.
hao wang, 1997.
a logical journey: from gdel to philosophy.
"the gdel paradox and wittgenstein's reasons" philosophia mathematica (iii) 17. 2009.
john w. dawson, jr., 1997.
logical dilemmas: the life and work of kurt gdel, a. k.
peters, wellesley mass, isbn 1-56881-256-6.
goldstein, rebecca, 2005, incompleteness: the proof and paradox of kurt gdel, w. w.
juliet floyd and hilary putnam, 2000, "a note on wittgenstein's 'notorious paragraph' about the gdel theorem", journal of philosophy v. 97 n. 11, pp. 624632.
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. 859862.
stephen cole kleene, 1967, mathematical logic. reprinted by dover, 2002.
russell o'connor, 2005, " essential incompleteness of arithmetic verified by coq", lecture notes in computer science v. 3603, pp. 245260.
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 gdel's theorem in max klbel, ed., wittgenstein's lasting significance, psychology press, pp. 207227.
graham priest, 1984, "logic of paradox revisited", journal of philosophical logic, v. 13,` n. 2, pp. 153179
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.
victor rodych, 2003, "misunderstanding gdel: new arguments about wittgenstein and new remarks by wittgenstein", dialectica v. 57 n. 3, pp. 279313.
stewart shapiro, 2002, "incompleteness and inconsistency", mind, v. 111, pp 81732.
alan sokal and jean bricmont, 1999, fashionable nonsense: postmodern intellectuals' abuse of science, picador.
joseph r. shoenfield (1967), mathematical logic. reprinted by a.k. peters for the association for symbolic logic, 2001.
jeremy stangroom and ophelia benson, why truth matters, continuum.
george tourlakis, lectures in logic and set theory, volume 1, mathematical logic, cambridge university press, 2003.
what is mathematics:gdel's theorem and around by karlis podnieks.
an online free book.
world's shortest explanation of gdel's theorem using a printing machine as an example.
october 2011 radiolab episode about/including gdel's incompleteness theorem