changeset 3092:0745a296e731

<oerjan> pastelogs meta.*turing
author HackBot
date Wed, 12 Jun 2013 01:49:36 +0000
parents b95276db82d6
children 89a770529cd0
files paste/paste.11165
diffstat 1 files changed, 75 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paste/paste.11165	Wed Jun 12 01:49:36 2013 +0000
@@ -0,0 +1,75 @@
+2005-05-25.txt:19:15:32: <pgimeno> I'm interested in whether Smetana can be done Turing-complete
+2005-05-25.txt:19:28:47: * pgimeno considers taking out smetana from the non-Turing-complete category
+2005-06-02.txt:21:01:17: <cpressey> smetana is NOT turing complete!
+2005-06-04.txt:19:26:54: <graue> of course, SMETANA and Befunge-93 are not Turing-complete, but still interesting
+2005-06-04.txt:21:22:44: <pgimeno> I'm somewhat puzzled... if an algorithm is required to stop, and a Turing machine is required to run an algorithm, and a SMETANA program can implement any algorithm... how come SMETANA is not Turing-complete?
+2005-09-18.txt:00:01:50: <ihope> Heh. If an expansion instruction were added to SMETATA or SMATINY, would that language become Turing-complete?
+2006-11-22.txt:05:27:14: <Razor-X> You can also be adventerous and implement Lambda Calculus in Lisp. You'll quickly see that, this way of dealing with Lisp is to Church's computational metaphor as BF is to Turing's computational method.
+2006-12-28.txt:05:05:31: <RodgerTheGreat> bonus points for creating a meta-protocol whose semantics themselves constitute a turing-complete system
+2007-07-03.txt:22:19:07: <lament> oklopol: under this description, SMETANA is turing-complete too
+2007-10-30.txt:19:36:23: <lament> i'm pretty sure that makes SMETANA turing-complete as well
+2007-10-30.txt:19:39:49: <lament> but if that's allowed, then SMETANA should be turing-complete
+2007-10-30.txt:23:41:16: <oerjan> <lament> i'm pretty sure that makes SMETANA turing-complete as well
+2007-10-31.txt:00:11:48: <lament> oerjan: if smetana+1 compacts the infinite smetana program to finite size, then it's obviously turing-complete
+2007-10-31.txt:00:12:43: <lament> oerjan: the question is whether we can consider smetana to be turing-complete, despite infinitely large programs
+2007-11-02.txt:03:20:00: <lament> in that case smetana is turing-complete
+2007-11-02.txt:03:41:28: <lament> cpressey: so a language just like smetana but allowing infinitely long programs is 1) turing complete 2) capable of being interpreted by, for example, CA, since they allow the entire smetana program to be given as starting conditions
+2007-12-09.txt:18:38:15: <Slereah> For some metatheorems, I had to read about Turing machines and such!
+2009-02-09.txt:15:34:27: <ehird> <lament> if we allow "non-repetitive infinite initial conditions" <lament> i'm pretty sure that makes SMETANA turing-complete as well<lament> it would be a very simple structure, it has a "head" and then a "tail" consisting of identical pieces of code with different numbers (trivially generated by any process)
+2009-02-09.txt:19:22:07: <oerjan> <ehird> <lament> if we allow "non-repetitive infinite initial conditions" <lament> i'm pretty sure that makes SMETANA turing-complete as well<lament> it would be a very simple structure, it has a "head" and then a "tail" consisting of identical pieces of code with different numbers (trivially generated by any process)
+2010-07-04.txt:12:43:58: <alise> A self-modifying language; the language is defined in terms of a meta-circular interpreter, and this meta-circular interpreter provides an operation that redefines operations of the meta-circular interpreter. In fact, this mechanism is required for Emmental to be Turing-complete.
+2011-06-24.txt:20:46:16: <elliott_> http://esolangs.org/wiki/Meta_Turing-complete
+2011-06-24.txt:20:48:25: * elliott_ creates [[Talk:Meta Turing-complete]]
+2011-06-24.txt:21:01:54: <elliott_> Meta Turing-complete
+2011-06-24.txt:21:02:00: <monqy> Meta Turing-complete
+2011-06-24.txt:21:03:27: <oerjan> i never meta turing.  he died before i was born.
+2011-06-24.txt:21:05:25: <monqy> Some super-Turing-complete languages are able to do anything (see Compute/IO), so they are super fully meta Turing-complete.
+2011-06-24.txt:21:05:28: <elliott_> `addquote <oerjan> i never meta turing.  he died before i was born.
+2011-06-24.txt:21:05:29: <HackEgo> 468) <oerjan> i never meta turing.  he died before i was born.
+2011-06-24.txt:21:07:21: <oerjan> fun fun super meta turing-complete
+2011-06-24.txt:21:07:40: <monqy> super duper meta cool turing-complete
+2011-06-24.txt:22:52:50: <elliott> oerjan: can you delete that and the meta turing completeness page
+2011-06-24.txt:22:54:37: <elliott> `addquote <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
+2011-06-24.txt:22:54:39: <HackEgo> 469) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
+2011-06-24.txt:22:58:37: <Sgeo> elliott, was I ever as bad as Checkmate or the Meta-turing-complete person?
+2011-06-25.txt:09:58:38: <elliott> (diff) (hist) . . Talk:Meta Turing-complete‎; 07:51 . . (+491) . . TehZ (Talk | contribs)
+2011-06-25.txt:09:59:19: <elliott> http://esolangs.org/wiki/Talk:Meta_Turing-complete
+2011-06-25.txt:18:34:21: <elliott> (diff) (hist) . . Talk:Meta Turing-complete‎; 14:48 . . (+688) . . TehZ (Talk | contribs)
+2011-06-25.txt:18:34:43: <monqy> [[Talk: Meta Turing-complete]] is awful
+2011-07-07.txt:05:07:12: <HackEgo> 100) <Slereah> I can do everything a Turing machine can do, except love \ 146) <coppro> we'd care about a turing-complete pencil \ 274) <oklopol> ah yes, indeed, alan turing was gay and stupid \ 468) <oerjan> i never meta turing.  he died before i was born. \ 469) <elliott> oerjan: can you delete that and the meta turing
+2011-07-07.txt:05:07:55: <HackEgo> 333) <Phantom_Hoover> Oh god.  <Phantom_Hoover> I've become a metallurgy hipster.  <Phantom_Hoover> Iridium is way too mainstream. \ 410) <Sgeo> I was more of a pervert in Metaplace than Utherverse  <Sgeo> I invented Metaplace sex >.> \ 468) <oerjan> i never meta turing.  he died before i was born. \ 469) <elliott> oerjan:
+2011-07-14.txt:07:43:47: <elliott> meta-turing-complete, too!
+2011-07-14.txt:07:44:04: <Vorpal> meta-turing-complete?
+2011-07-14.txt:07:44:45: <elliott> http://esolangs.org/wiki/Talk:Meta_Turing-complete
+2011-10-19.txt:19:18:48: <HackEgo> 449) <oerjan> i never meta turing.  he died before i was born.
+2012-03-05.txt:20:23:59: <Taneb> Is ℒ meta-turing complete?
+2012-03-05.txt:20:45:33: <Taneb> http://esolangs.org/wiki/Meta_Turing-complete
+2012-03-05.txt:20:50:03: <Taneb> Not quite, but Meta Turing-Complete is a superset of Fancy L?
+2012-03-05.txt:20:50:20: <olsner> meta turing complete looks like nonsense to me
+2012-03-05.txt:21:14:52: <olsner> Taneb: you mean the META-GHOST of ALAN META-TURING?
+2012-03-06.txt:16:08:19: <elliott> 20:45:33: <Taneb> http://esolangs.org/wiki/Meta_Turing-complete
+2012-03-06.txt:16:08:33: <elliott> @tell Friendship "Meta Turing-complete" is just some badly-defined bullshit TehZ made up.
+2012-06-16.txt:16:44:43: <HackEgo> 403) <oerjan> i never meta turing.  he died before i was born.
+2012-11-22.txt:21:35:26: <HackEgo> 391) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
+2012-12-12.txt:09:42:32: <HackEgo> 375) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
+2012-12-26.txt:16:06:07: <HackEgo> 22) IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): <ehird> So kann ich nur schliessen, dass es falsch ist, oder die Welt ist vollig BONKERS. Gegrusset seist du der Fuhrer Hitler! \ 373) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
+2012-12-26.txt:16:10:44: <HackEgo> 373) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET \ 22) IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): <ehird> So kann ich nur schliessen, dass es falsch ist, oder die Welt ist vollig BONKERS. Gegrusset seist du der Fuhrer Hitler! 
+2013-01-04.txt:07:28:47: <monqy> hey remember http://esolangs.org/wiki/Meta_Turing-complete heh heh heh
+2013-01-04.txt:18:41:38: <Bicycle> i suppose someone somewhere has analyzed the meta-powerrrrr of various turing formalisms based on kindshit
+2013-01-06.txt:20:30:31: <HackEgo> 230) <oerjan> <Gregor> oerjan: Tell us what (a(b{c}d)*2e)%2 expands to <-- ababcdbcdedbabcdbcdede, i think  <Gregor> oerjan: What - the - fuck \ 371) <oerjan> i never meta turing.  he died before i was born. \ 15) <fungot> oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me g
+2013-01-23.txt:19:49:51: <HackEgo> 373) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
+2013-02-02.txt:21:50:34: <Phantom_Hoover> `quote metaturing
+2013-02-02.txt:21:51:43: <oerjan> `run echo "This wisdom entry was crushed by a falling anvil." >wisdom/metaturing
+2013-02-02.txt:21:52:17: <Phantom_Hoover> `? metaturing
+2013-02-02.txt:21:54:13: <oerjan> assuming i understand http://codu.org/projects/hackbot/fshg/index.cgi/file/23c726e07478/wisdom/metaturing
+2013-02-02.txt:21:56:37: <Applejacques> `run hg export 0:tip | grep -i metaturing
+2013-02-08.txt:07:18:40: <monqy> how about featuring the meta turing completeness page
+2013-03-08.txt:21:14:16: <monqy> nooodl: tehz is also 'infamous' for http://esolangs.org/wiki/Meta_Turing-complete
+2013-04-14.txt:01:20:58: <elliott> Lou Reed never performed Metal Machine Music onstage until March, 2002, when he collaborated with an avant-garde classical ensemble at the MaerzMusik festival in Berlin, Germany. The 10-member group Zeitkratzer performed the original album with Reed in a new arrangement featuring classical string, wind, piano, and accordion.[11]
+2013-06-12.txt:01:46:41: <Phantom_Hoover> oerjan's metaturing quote isn't in the quotes?
+2013-06-12.txt:01:46:46: <Phantom_Hoover> `pastlog metaturing
+2013-06-12.txt:01:47:33: <elliott> `pastlog meta-turing
+2013-06-12.txt:01:47:42: <HackEgo> 2011-07-14.txt:07:43:47: <elliott> meta-turing-complete, too!
+2013-06-12.txt:01:48:01: <Phantom_Hoover> `pastelog meta-turing
+2013-06-12.txt:01:49:15: <oerjan> `pastlogs meta.*turing
+2013-06-12.txt:01:49:22: <oerjan> `pastelogs meta.*turing