Filters








1,101 Hits in 5.4 sec

Validation and Verification in Social Simulation: Patterns and Clarification of Terminology [chapter]

Nuno David
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
in the philosophical sense of the problem of "truth"; the observation that some debates about these terms in simulation are inadvertently more terminological than epistemological; the meaning of the terms  ...  This article considers the problem of verification and validation in social science simulation along five perspectives: The reasons to address terminological issues in simulation; the meaning of the terms  ...  An indication that acknowledges the consideration of explicit post-computerized models in the logic of the method of simulation, which helps us situate the roles of the terms verification and validation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-01109-2_9">doi:10.1007/978-3-642-01109-2_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wpvg6qwlr5cetfm7sp3oopms4m">fatcat:wpvg6qwlr5cetfm7sp3oopms4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720021754/https://philpapers.org/archive/DAVVAV-2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/69/de/69de674ef8c29c8524e6fdfb70830cbc6cd4ccdb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-01109-2_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Computers in Mathematical Inquiry [chapter]

Jeremy Avigad
<span title="2008-06-19">2008</span> <i title="Oxford University Press"> The Philosophy of Mathematical Practice </i> &nbsp;
I discussed ways in which efforts in formal verification can inform and be informed by a philosophical study of this type of understanding.  ...  In Avigad (2006) , I addressed one small aspect of mathematical understanding, namely, the process by which we understand the text of an ordinary mathematical proof.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/acprof:oso/9780199296453.003.0012">doi:10.1093/acprof:oso/9780199296453.003.0012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j76lrqy4q5gg7oewoleatjds2q">fatcat:j76lrqy4q5gg7oewoleatjds2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121101052352/http://www.andrew.cmu.edu/user/avigad/Papers/chapter11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/39/4e/394e725207a81d73edc23ecf5234a88a6a7dcf4b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/acprof:oso/9780199296453.003.0012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Challenging epistemology: Interactive proofs and zero knowledge

Justin Bledin
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gyhc4ppmyjfm5a64dneqesv7ka" style="color: black;">Journal of Applied Logic</a> </i> &nbsp;
This essay explores what (if anything) research on interactive zero knowledge proofs has to teach philosophers about the epistemology of mathematics and theoretical computer science.  ...  Possible lessons from this work for the epistemology of mathematics-our models of mathematical proof should incorporate interaction, our theories of mathematical evidence must account for probabilistic  ...  Acknowledgements The first version of this essay grew out of a series of lectures by Luca Trevisan and an independent study with Christos Papadimitriou in 2007.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jal.2008.09.002">doi:10.1016/j.jal.2008.09.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3j6bp43qofblpgkzku5kuo5ste">fatcat:3j6bp43qofblpgkzku5kuo5ste</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001040631/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/9c1/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MDg2ODMwODAwMDQwMg%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/4d/f54d7e76253dc0228c976fea37759dea67ca51ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jal.2008.09.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 3683 of Mathematical Reviews Vol. , Issue 99f [page]

<span title="">1999</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
G. de Bruijn, Philosoph- ical aspects of computerized verification of mathematics (1-9); Alan Bundy, A science of reasoning (extended abstract) (10-17); Edmund M. Clarke and Sergey Berezin [S. A.  ...  The third article in the section on mathematical analysis is a discussion of the idea of a function, also including the nature of infinite sequences and series, focussing especially on the period of the  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1999-06_99f/page/3683" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1999-06_99f/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Mathematical Modeling and the Philosophy of Science

V. P. Il'in
<span title="">2018</span> <i title="Pleiades Publishing Ltd"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/obl5wsa2xrdrfeiuzlhvrbcr64" style="color: black;">Herald of the Russian Academy of Sciences</a> </i> &nbsp;
Philosophical and methodological aspects of predictive mathematical modeling are considered.  ...  Predictive mathematical modeling in the epoch of technological challenges to postindustrial society is becoming a third way of cognition, supplementing and uniting classical theory and natural experiment  ...  ACKNOWLEDGMENTS This work is an expanded and generalized option of the author's article supported at a competition of popular scientific materials of the Russian Foundation for Basic Research in 2017,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1134/s1019331618010021">doi:10.1134/s1019331618010021</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ksoop6osfg4ro6puz6nywhdqu">fatcat:3ksoop6osfg4ro6puz6nywhdqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180404002409/https://icmmg.nsc.ru/sites/default/files/pubs/s1019331618010021.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/81/de/81de30c159996aa45e0610d34965a6b21b102b41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1134/s1019331618010021"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Computers, Justification, and Mathematical Knowledge

Konstantine Arkoudas, Selmer Bringsjord
<span title="2007-06-23">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rplregtfrvbuppbjjbn5xwapiy" style="color: black;">Minds and Machines</a> </i> &nbsp;
Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable proofs, and can be sensibly regarded  ...  This is not only possible in principle, but is in fact becoming a viable methodology for performing complicated mathematical reasoning.  ...  Acknowledgments We are grateful to Jim Fahey for insightful comments on an earlier draft of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11023-007-9063-5">doi:10.1007/s11023-007-9063-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wdwdqauwbzcaxjs6cxdhpugtne">fatcat:wdwdqauwbzcaxjs6cxdhpugtne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810093320/http://kryten.mm.rpi.edu/ka_sb_proofs_offprint.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8e/6a/8e6a7f64c5a9aea317bfd1a3ba4908e00359c418.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11023-007-9063-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verification and validation in computational fluid dynamics

William L. Oberkampf, Timothy G. Trucano
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p5rrit5dcbdm3jylqrmhe7ta2y" style="color: black;">Progress in Aerospace Sciences</a> </i> &nbsp;
Because those requirements are not stated in the definition, the definition does not contribute much to the intuitive understanding of verification or to the development of specific methods for verification  ...  The fundamental strategy of verification is the identification and quantification of errors in the computational model and its solution.  ...  We also thank Rhonda Reinert of Technically Write, Inc. for providing extensive editorial assistance during the writing of the manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0376-0421(02)00005-2">doi:10.1016/s0376-0421(02)00005-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ygwrbggzffgv3njrmo7ifezar4">fatcat:ygwrbggzffgv3njrmo7ifezar4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924232437/https://digital.library.unt.edu/ark:/67531/metadc734067/m2/1/high_res_d/793406.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/ca/2acade85d92a3756372a700f749a45d66b2c6623.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0376-0421(02)00005-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Verification and Validation in Computational Fluid Dynamics [chapter]

Christopher Roy, William Oberkampf
<span title="2016-04-07">2016</span> <i title="CRC Press"> Handbook of Fluid Dynamics, Second Edition </i> &nbsp;
Because those requirements are not stated in the definition, the definition does not contribute much to the intuitive understanding of verification or to the development of specific methods for verification  ...  The fundamental strategy of verification is the identification and quantification of errors in the computational model and its solution.  ...  We also thank Rhonda Reinert of Technically Write, Inc. for providing extensive editorial assistance during the writing of the manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/b19031-50">doi:10.1201/b19031-50</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t4c3lezfnbdszfbsrbn6kbq5be">fatcat:t4c3lezfnbdszfbsrbn6kbq5be</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924232437/https://digital.library.unt.edu/ark:/67531/metadc734067/m2/1/high_res_d/793406.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/ca/2acade85d92a3756372a700f749a45d66b2c6623.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/b19031-50"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Antirealism/realism of Hintikka's game-theoretical semantics

Heda Festini
<span title="2018-01-07">2018</span> <i title="University of Zadar"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nrn2ajhravgxpby6ukdngzp2ym" style="color: black;">Papers on Philosophy Psychology Sociology and Pedagogy</a> </i> &nbsp;
Analysing Hintikka's critique of Tarski's interpretation of the truth-conditional theory of meaning, its recursive fashion and the narrow notion of realism, Hintikka's basic conception is presented in  ...  Hintikka's game-theoretical semantics (GTS) is presented as an anti-Tarskian semantical approach to the context-dependent fragments of Englisch, which overcomes the usual notion of semantical realism.  ...  But Hintikka rejects Dummett's proposal, because Dummett generalized the intuitionistic mathematical approach for a purpose outside mathematics, identi fying methods of verification with methods of proof  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15291/radovifpsp.2405">doi:10.15291/radovifpsp.2405</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qcpbczggvjajblxs7tvx353s4m">fatcat:qcpbczggvjajblxs7tvx353s4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428112403/https://morepress.unizd.hr/journals/radovifpsp/article/download/2405/3052" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/a2/7ea2c2a09dccd5b5c7a2b7fbf93e65e7e20560f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15291/radovifpsp.2405"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Number theory and elementary arithmetic†

JEREMY AVIGAD
<span title="2003-10-01">2003</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t7xwgbvmu5hp3ec3vc3oqbhufq" style="color: black;">Philosophia Mathematica</a> </i> &nbsp;
I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.  ...  * In October of 2001, parts of an early version of this paper were presented to an inhouse workshop at the University of Pittsburgh's Center for Philosophy of Science.  ...  , semi-automated deduction, and the computer-assisted formalization and verification of mathematics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/philmat/11.3.257">doi:10.1093/philmat/11.3.257</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pbrezlovffbjdprrez32ypc5vy">fatcat:pbrezlovffbjdprrez32ypc5vy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030424212640/http://www.andrew.cmu.edu:80/user/avigad/Papers/elementary.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/5f/9a5f8cd56a2b970f0a82eae5f14379b1f922a005.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/philmat/11.3.257"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Proof assistants: History, ideas and future

H. Geuvers
<span title="">2009</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cuymmrn4wzf6xkpjp5avqt7ol4" style="color: black;">Sadhana (Bangalore)</a> </i> &nbsp;
We believe that these systems will become the future of mathematics, where definitions, statements, computations and proofs are all available in a computerized form.  ...  An important application is and will be in computer supported modelling and verification of sys tems.  ...  Introduction Proof assistants are computer systems that allow a user to do mathematics on a computer, but not so much the computing (numerical or symbolical) aspect of mathematics but the aspects of proving  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s12046-009-0001-5">doi:10.1007/s12046-009-0001-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nnrgwwfdxjhqnfdoye7s4665su">fatcat:nnrgwwfdxjhqnfdoye7s4665su</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815013430/http://repository.ubn.ru.nl/bitstream/handle/2066/75958/75958.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ca/5f/ca5f0e8e033ede4a590ab8042028ff59cc7a0df9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s12046-009-0001-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Three strategies for interdisciplinary teaching: contextualizing, conceptualizing, and problem‐centring

Svetlana Nikitina
<span title="">2006</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g3uw5g5t5zaaponozmobzvmzwu" style="color: black;">Journal of Curriculum Studies</a> </i> &nbsp;
Finally, if the spirit and mode of inquiry is that of the applied sciences or creative product/policy development, the integrative process will take the form of problem-based investigation of urgent or  ...  This typology is based on the kind of inquiry that takes place.  ...  The contextualizing strategy taps important aspects of the disciplines, their methodological and philosophical foundations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/00220270500422632">doi:10.1080/00220270500422632</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5dn3obfdbjge7k4ay6tzj4qiwy">fatcat:5dn3obfdbjge7k4ay6tzj4qiwy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829080337/http://www.interdisciplinarystudiespz.org:80/pdf/Nikitina_Strategies_2002.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/f1/0df1ef856f80ffd9441a0ed64edca349b35c76e6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/00220270500422632"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Towards Creative Environments: Conclusions from Creative Space

A.P. Wierzbicki, Y. Nakamori
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlnwsi4sefbkvlcgv2zcupjqum" style="color: black;">Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS&#39;06)</a> </i> &nbsp;
This paper comments first on recent changes of understanding the problem of knowledge and technology creation, then recalls the concepts of Creative Space and diverse spirals and models of processes of  ...  This is followed by comments on a new understanding of the role of systems science in the new era of knowledge civilization.  ...  some new ideas for an intersubjective verification; see [1] for the description of diverse aspects of a good Debate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2006.495">doi:10.1109/hicss.2006.495</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hicss/WierzbickiN06.html">dblp:conf/hicss/WierzbickiN06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6nkgnnxivzgifah2em2yhmrm4u">fatcat:6nkgnnxivzgifah2em2yhmrm4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170831114205/https://www.computer.org/csdl/proceedings/hicss/2006/2507/02/250720046c.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/09/2409d6ed53ce8a071785cb7660f21c4f68f32665.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2006.495"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Book Review: The computer revolution in philosophy: Philosophy, science and models of mind

Douglas R. Hofstadter
<span title="1980-03-01">1980</span> <i title="American Mathematical Society (AMS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iwegpttow5b4vhkhs3scejn5fi" style="color: black;">Bulletin of the American Mathematical Society</a> </i> &nbsp;
science, philosophy of language, ethics, metaphysics, and other main areas of philosophy, without discussing the relevant aspects of artificial intelligence will be as irresponsible as giving a degree  ...  tend to get very confused about how to deal with this kind of circularity, (p. 211) The typical style of philosophical discussion ... all too often is a mixture of dubious introspective reports, dualist  ...  ACM 22 (1979) ) decries the notion of program verification, shows how greatly it differs from that of mathematical proof, and urges programmers to rely on experience and common sense, not formal proofs  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1090/s0273-0979-1980-14752-7">doi:10.1090/s0273-0979-1980-14752-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tpoqdtitcnefdkqeweirfr2il4">fatcat:tpoqdtitcnefdkqeweirfr2il4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725020440/http://www.ams.org/journals/bull/1980-02-02/S0273-0979-1980-14752-7/S0273-0979-1980-14752-7.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f9/00/f90027bd35fcd0116af463c7f6939eac45d4d095.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1090/s0273-0979-1980-14752-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Modelling as a way of organising knowledge

Andrzej P. Wierzbicki
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2fqqu5s6wbgk5gcucpt3wqm3gy" style="color: black;">European Journal of Operational Research</a> </i> &nbsp;
The paper presents a discussion of the concept of knowledge from several perspectives, such as the perspective of operational research, of systems science, of mathematical modelling, of knowledge-based  ...  The paper is motivated by the need of to address a new the old topic of operational research and hard (but also soft) systems science: what is the role of mathematical modelling, how does it relate to  ...  Acknowledgements The author is indebted to anonymous reviewers whose comments motivated him to state more clearly many points, including the distinctions between the cultures of hard systems research and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ejor.2005.08.018">doi:10.1016/j.ejor.2005.08.018</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t25g3a6rgzg53knbcwbveumwau">fatcat:t25g3a6rgzg53knbcwbveumwau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812103245/http://avalon.cuautitlan2.unam.mx/materialesdidacticos/gerardo_sa/articulos/prueba/prueba7.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/21/2d21716ccf93652900985c3659238e265c3213a3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ejor.2005.08.018"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,101 results