CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="es" dir="ltr"> <head> <meta charset="UTF-8"> <title>Ciencias formales - Wikipedia, la enciclopedia libre</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )eswikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","enero","febrero","marzo","abril","mayo","junio","julio","agosto","septiembre","octubre","noviembre","diciembre"],"wgRequestId":"46c8095f-c051-4423-8544-f212377fabe8","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Ciencias_formales","wgTitle":"Ciencias formales","wgCurRevisionId":163376470,"wgRevisionId":163376470,"wgArticleId":5196056,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Wikipedia:Páginas que usan la extensión JsonConfig","Wikipedia:Artículos con citas que requieren número de página","Wikipedia:Páginas con enlaces mágicos de ISBN","Wikipedia:Artículos con extractos","Ciencias formales"],"wgPageViewLanguage":"es","wgPageContentLanguage":"es","wgPageContentModel":"wikitext","wgRelevantPageName":"Ciencias_formales","wgRelevantArticleId":5196056,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable": true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgRedirectedFrom":"Ciencia_formal","wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"es","pageLanguageDir":"ltr","pageVariantFallbacks":"es"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":2000,"wgInternalRedirectTargetUrl":"/wiki/Ciencias_formales","wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q816264","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics": true,"wgGETopicsMatchModeEnabled":true,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.gadget.imagenesinfobox":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["mediawiki.action.view.redirect","ext.cite.ux-enhancements","mediawiki.page.media","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.a-commons-directo","ext.gadget.ReferenceTooltips","ext.gadget.refToolbar","ext.gadget.switcher", "ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=es&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=es&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=es&modules=ext.gadget.imagenesinfobox&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=es&modules=site.styles&only=styles&skin=vector-2022"> <noscript><link rel="stylesheet" href="/w/load.php?lang=es&modules=noscript&only=styles&skin=vector-2022"></noscript> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Ciencias formales - Wikipedia, la enciclopedia libre"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//es.m.wikipedia.org/wiki/Ciencias_formales"> <link rel="alternate" type="application/x-wiki" title="Editar" href="/w/index.php?title=Ciencias_formales&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (es)"> <link rel="EditURI" type="application/rsd+xml" href="//es.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://es.wikipedia.org/wiki/Ciencias_formales"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.es"> <link rel="alternate" type="application/atom+xml" title="Canal Atom de Wikipedia" href="/w/index.php?title=Especial:CambiosRecientes&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Ciencias_formales rootpage-Ciencias_formales skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Ir al contenido</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Sitio"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Menú principal" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Menú principal</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Menú principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">ocultar</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navegación </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikipedia:Portada" title="Visitar la página principal [z]" accesskey="z"><span>Portada</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Portal:Comunidad" title="Acerca del proyecto, lo que puedes hacer, dónde encontrar información"><span>Portal de la comunidad</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Actualidad" title="Encuentra información de contexto sobre acontecimientos actuales"><span>Actualidad</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Especial:CambiosRecientes" title="Lista de cambios recientes en la wiki [r]" accesskey="r"><span>Cambios recientes</span></a></li><li id="n-newpages" class="mw-list-item"><a href="/wiki/Especial:P%C3%A1ginasNuevas"><span>Páginas nuevas</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Especial:Aleatoria" title="Cargar una página al azar [x]" accesskey="x"><span>Página aleatoria</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Ayuda:Contenidos" title="El lugar para aprender"><span>Ayuda</span></a></li><li id="n-bug_in_article" class="mw-list-item"><a href="/wiki/Wikipedia:Informes_de_error"><span>Notificar un error</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikipedia:Portada" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="La enciclopedia libre" src="/static/images/mobile/copyright/wikipedia-tagline-es.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Especial:Buscar" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Buscar en este wiki [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Buscar</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Buscar en Wikipedia" aria-label="Buscar en Wikipedia" autocapitalize="sentences" title="Buscar en este wiki [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Especial:Buscar"> </div> <button class="cdx-button cdx-search-input__end-button">Buscar</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Herramientas personales"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Apariencia"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Apariencia" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Apariencia</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_es.wikipedia.org&uselang=es" class=""><span>Donaciones</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Especial:Crear_una_cuenta&returnto=Ciencias+formales" title="Te recomendamos crear una cuenta e iniciar sesión; sin embargo, no es obligatorio" class=""><span>Crear una cuenta</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Especial:Entrar&returnto=Ciencias+formales" title="Te recomendamos iniciar sesión, aunque no es obligatorio [o]" accesskey="o" class=""><span>Acceder</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Más opciones" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Herramientas personales" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Herramientas personales</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menú de usuario" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_es.wikipedia.org&uselang=es"><span>Donaciones</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Especial:Crear_una_cuenta&returnto=Ciencias+formales" title="Te recomendamos crear una cuenta e iniciar sesión; sin embargo, no es obligatorio"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Crear una cuenta</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Especial:Entrar&returnto=Ciencias+formales" title="Te recomendamos iniciar sesión, aunque no es obligatorio [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Acceder</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Páginas para editores desconectados <a href="/wiki/Ayuda:Introducci%C3%B3n" aria-label="Obtenga más información sobre editar"><span>más información</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Especial:MisContribuciones" title="Una lista de modificaciones hechas desde esta dirección IP [y]" accesskey="y"><span>Contribuciones</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Especial:MiDiscusi%C3%B3n" title="Discusión sobre ediciones hechas desde esta dirección IP [n]" accesskey="n"><span>Discusión</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Sitio"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Contenidos" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Contenidos</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">ocultar</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">Inicio</div> </a> </li> <li id="toc-Ejemplos" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Ejemplos"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Ejemplos</span> </div> </a> <button aria-controls="toc-Ejemplos-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Alternar subsección Ejemplos</span> </button> <ul id="toc-Ejemplos-sublist" class="vector-toc-list"> <li id="toc-Matemática" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Matemática"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.1</span> <span>Matemática</span> </div> </a> <ul id="toc-Matemática-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lógica" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Lógica"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.2</span> <span>Lógica</span> </div> </a> <ul id="toc-Lógica-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Ciencias_de_la_computación" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Ciencias_de_la_computación"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.3</span> <span>Ciencias de la computación</span> </div> </a> <ul id="toc-Ciencias_de_la_computación-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Véase_también" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Véase_también"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Véase también</span> </div> </a> <ul id="toc-Véase_también-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Referencias" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Referencias"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Referencias</span> </div> </a> <ul id="toc-Referencias-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Contenidos" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Cambiar a la tabla de contenidos" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Cambiar a la tabla de contenidos</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Ciencias formales</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Ir a un artículo en otro idioma. Disponible en 52 idiomas" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-52" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">52 idiomas</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-af mw-list-item"><a href="https://af.wikipedia.org/wiki/Formele_wetenskap" title="Formele wetenskap (afrikáans)" lang="af" hreflang="af" data-title="Formele wetenskap" data-language-autonym="Afrikaans" data-language-local-name="afrikáans" class="interlanguage-link-target"><span>Afrikaans</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%D9%8A%D8%A9" title="علوم صورية (árabe)" lang="ar" hreflang="ar" data-title="علوم صورية" data-language-autonym="العربية" data-language-local-name="árabe" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-avk mw-list-item"><a href="https://avk.wikipedia.org/wiki/Tazuktafa_opa" title="Tazuktafa opa (Kotava)" lang="avk" hreflang="avk" data-title="Tazuktafa opa" data-language-autonym="Kotava" data-language-local-name="Kotava" class="interlanguage-link-target"><span>Kotava</span></a></li><li class="interlanguage-link interwiki-ba mw-list-item"><a href="https://ba.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C_%D1%84%D3%99%D0%BD%D0%B4%D3%99%D1%80" title="Формаль фәндәр (baskir)" lang="ba" hreflang="ba" data-title="Формаль фәндәр" data-language-autonym="Башҡортса" data-language-local-name="baskir" class="interlanguage-link-target"><span>Башҡортса</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" title="Формални науки (búlgaro)" lang="bg" hreflang="bg" data-title="Формални науки" data-language-autonym="Български" data-language-local-name="búlgaro" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%B0%E0%A7%8C%E0%A6%AA_%E0%A6%AC%E0%A6%BF%E0%A6%9C%E0%A7%8D%E0%A6%9E%E0%A6%BE%E0%A6%A8" title="রৌপ বিজ্ঞান (bengalí)" lang="bn" hreflang="bn" data-title="রৌপ বিজ্ঞান" data-language-autonym="বাংলা" data-language-local-name="bengalí" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Ci%C3%A8ncia_formal" title="Ciència formal (catalán)" lang="ca" hreflang="ca" data-title="Ciència formal" data-language-autonym="Català" data-language-local-name="catalán" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%D8%B2%D8%A7%D9%86%D8%B3%D8%AA%DB%8C_%D8%B4%DB%8E%D9%88%DB%95%DB%8C%DB%8C" title="زانستی شێوەیی (kurdo sorani)" lang="ckb" hreflang="ckb" data-title="زانستی شێوەیی" data-language-autonym="کوردی" data-language-local-name="kurdo sorani" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Form%C3%A1ln%C3%AD_v%C4%9Bdy" title="Formální vědy (checo)" lang="cs" hreflang="cs" data-title="Formální vědy" data-language-autonym="Čeština" data-language-local-name="checo" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Formalwissenschaft" title="Formalwissenschaft (alemán)" lang="de" hreflang="de" data-title="Formalwissenschaft" data-language-autonym="Deutsch" data-language-local-name="alemán" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Formal_science" title="Formal science (inglés)" lang="en" hreflang="en" data-title="Formal science" data-language-autonym="English" data-language-local-name="inglés" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Formalaj_sciencoj" title="Formalaj sciencoj (esperanto)" lang="eo" hreflang="eo" data-title="Formalaj sciencoj" data-language-autonym="Esperanto" data-language-local-name="esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Zientzia_formal" title="Zientzia formal (euskera)" lang="eu" hreflang="eu" data-title="Zientzia formal" data-language-autonym="Euskara" data-language-local-name="euskera" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" title="علوم صوری (persa)" lang="fa" hreflang="fa" data-title="علوم صوری" data-language-autonym="فارسی" data-language-local-name="persa" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Sciences_formelles" title="Sciences formelles (francés)" lang="fr" hreflang="fr" data-title="Sciences formelles" data-language-autonym="Français" data-language-local-name="francés" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/Ciencias_formais" title="Ciencias formais (gallego)" lang="gl" hreflang="gl" data-title="Ciencias formais" data-language-autonym="Galego" data-language-local-name="gallego" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%B0%E0%A5%82%E0%A4%AA%E0%A4%AC%E0%A4%A6%E0%A5%8D%E0%A4%A7_%E0%A4%B5%E0%A4%BF%E0%A4%9C%E0%A5%8D%E0%A4%9E%E0%A4%BE%E0%A4%A8" title="रूपबद्ध विज्ञान (hindi)" lang="hi" hreflang="hi" data-title="रूपबद्ध विज्ञान" data-language-autonym="हिन्दी" data-language-local-name="hindi" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-ht mw-list-item"><a href="https://ht.wikipedia.org/wiki/Syans_f%C3%B2m%C3%A8l" title="Syans fòmèl (criollo haitiano)" lang="ht" hreflang="ht" data-title="Syans fòmèl" data-language-autonym="Kreyòl ayisyen" data-language-local-name="criollo haitiano" class="interlanguage-link-target"><span>Kreyòl ayisyen</span></a></li><li class="interlanguage-link interwiki-ia mw-list-item"><a href="https://ia.wikipedia.org/wiki/Scientias_formal" title="Scientias formal (interlingua)" lang="ia" hreflang="ia" data-title="Scientias formal" data-language-autonym="Interlingua" data-language-local-name="interlingua" class="interlanguage-link-target"><span>Interlingua</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Ilmu_formal" title="Ilmu formal (indonesio)" lang="id" hreflang="id" data-title="Ilmu formal" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonesio" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Formala_cienci" title="Formala cienci (ido)" lang="io" hreflang="io" data-title="Formala cienci" data-language-autonym="Ido" data-language-local-name="ido" class="interlanguage-link-target"><span>Ido</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Scienze_formali" title="Scienze formali (italiano)" lang="it" hreflang="it" data-title="Scienze formali" data-language-autonym="Italiano" data-language-local-name="italiano" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%A6" title="形式科学 (japonés)" lang="ja" hreflang="ja" data-title="形式科学" data-language-autonym="日本語" data-language-local-name="japonés" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%A4%E1%83%9D%E1%83%A0%E1%83%9B%E1%83%90%E1%83%9A%E1%83%A3%E1%83%A0%E1%83%98_%E1%83%9B%E1%83%94%E1%83%AA%E1%83%9C%E1%83%98%E1%83%94%E1%83%A0%E1%83%94%E1%83%91%E1%83%94%E1%83%91%E1%83%98" title="ფორმალური მეცნიერებები (georgiano)" lang="ka" hreflang="ka" data-title="ფორმალური მეცნიერებები" data-language-autonym="ქართული" data-language-local-name="georgiano" class="interlanguage-link-target"><span>ქართული</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B4%D1%8B_%D2%93%D1%8B%D0%BB%D1%8B%D0%BC" title="Формалды ғылым (kazajo)" lang="kk" hreflang="kk" data-title="Формалды ғылым" data-language-autonym="Қазақша" data-language-local-name="kazajo" class="interlanguage-link-target"><span>Қазақша</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%ED%98%95%EC%8B%9D%EA%B3%BC%ED%95%99" title="형식과학 (coreano)" lang="ko" hreflang="ko" data-title="형식과학" data-language-autonym="한국어" data-language-local-name="coreano" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-mg mw-list-item"><a href="https://mg.wikipedia.org/wiki/Siansa_arak%27_endrika" title="Siansa arak' endrika (malgache)" lang="mg" hreflang="mg" data-title="Siansa arak' endrika" data-language-autonym="Malagasy" data-language-local-name="malgache" class="interlanguage-link-target"><span>Malagasy</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Sains_formal" title="Sains formal (malayo)" lang="ms" hreflang="ms" data-title="Sains formal" data-language-autonym="Bahasa Melayu" data-language-local-name="malayo" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Formele_wetenschap" title="Formele wetenschap (neerlandés)" lang="nl" hreflang="nl" data-title="Formele wetenschap" data-language-autonym="Nederlands" data-language-local-name="neerlandés" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Formell_vitenskap" title="Formell vitenskap (noruego bokmal)" lang="nb" hreflang="nb" data-title="Formell vitenskap" data-language-autonym="Norsk bokmål" data-language-local-name="noruego bokmal" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Nauki_formalne" title="Nauki formalne (polaco)" lang="pl" hreflang="pl" data-title="Nauki formalne" data-language-autonym="Polski" data-language-local-name="polaco" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-ps mw-list-item"><a href="https://ps.wikipedia.org/wiki/%D8%B1%D8%B3%D9%85%D9%8A_%D8%B9%D9%84%D9%88%D9%85" title="رسمي علوم (pastún)" lang="ps" hreflang="ps" data-title="رسمي علوم" data-language-autonym="پښتو" data-language-local-name="pastún" class="interlanguage-link-target"><span>پښتو</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Ci%C3%AAncias_formais" title="Ciências formais (portugués)" lang="pt" hreflang="pt" data-title="Ciências formais" data-language-autonym="Português" data-language-local-name="portugués" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" title="Формальные науки (ruso)" lang="ru" hreflang="ru" data-title="Формальные науки" data-language-autonym="Русский" data-language-local-name="ruso" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-rue mw-list-item"><a href="https://rue.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D1%8B_%D0%BD%D0%B0%D1%83%D0%BA%D1%8B" title="Формалны наукы (Rusyn)" lang="rue" hreflang="rue" data-title="Формалны наукы" data-language-autonym="Русиньскый" data-language-local-name="Rusyn" class="interlanguage-link-target"><span>Русиньскый</span></a></li><li class="interlanguage-link interwiki-sd mw-list-item"><a href="https://sd.wikipedia.org/wiki/%D8%B1%D8%B3%D9%85%D9%8A_%D8%B3%D8%A7%D8%A6%D9%86%D8%B3" title="رسمي سائنس (sindi)" lang="sd" hreflang="sd" data-title="رسمي سائنس" data-language-autonym="سنڌي" data-language-local-name="sindi" class="interlanguage-link-target"><span>سنڌي</span></a></li><li class="interlanguage-link interwiki-shi mw-list-item"><a href="https://shi.wikipedia.org/wiki/Timassanin_tinl%C9%A3anin" title="Timassanin tinlɣanin (tashelhit)" lang="shi" hreflang="shi" data-title="Timassanin tinlɣanin" data-language-autonym="Taclḥit" data-language-local-name="tashelhit" class="interlanguage-link-target"><span>Taclḥit</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Form%C3%A1lna_veda" title="Formálna veda (eslovaco)" lang="sk" hreflang="sk" data-title="Formálna veda" data-language-autonym="Slovenčina" data-language-local-name="eslovaco" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sq mw-list-item"><a href="https://sq.wikipedia.org/wiki/Shkencat_formale" title="Shkencat formale (albanés)" lang="sq" hreflang="sq" data-title="Shkencat formale" data-language-autonym="Shqip" data-language-local-name="albanés" class="interlanguage-link-target"><span>Shqip</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/Formalna_nauka" title="Formalna nauka (serbio)" lang="sr" hreflang="sr" data-title="Formalna nauka" data-language-autonym="Српски / srpski" data-language-local-name="serbio" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Formalvetenskap" title="Formalvetenskap (sueco)" lang="sv" hreflang="sv" data-title="Formalvetenskap" data-language-autonym="Svenska" data-language-local-name="sueco" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-tg mw-list-item"><a href="https://tg.wikipedia.org/wiki/%D0%A3%D0%BB%D1%83%D0%BC%D0%B8_%D1%80%D0%B0%D1%81%D0%BC%D3%A3" title="Улуми расмӣ (tayiko)" lang="tg" hreflang="tg" data-title="Улуми расмӣ" data-language-autonym="Тоҷикӣ" data-language-local-name="tayiko" class="interlanguage-link-target"><span>Тоҷикӣ</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%A7%E0%B8%B4%E0%B8%97%E0%B8%A2%E0%B8%B2%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C%E0%B8%A3%E0%B8%B9%E0%B8%9B%E0%B8%99%E0%B8%B1%E0%B8%A2" title="วิทยาศาสตร์รูปนัย (tailandés)" lang="th" hreflang="th" data-title="วิทยาศาสตร์รูปนัย" data-language-autonym="ไทย" data-language-local-name="tailandés" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Formal_bilim" title="Formal bilim (turco)" lang="tr" hreflang="tr" data-title="Formal bilim" data-language-autonym="Türkçe" data-language-local-name="turco" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" title="Формальні науки (ucraniano)" lang="uk" hreflang="uk" data-title="Формальні науки" data-language-autonym="Українська" data-language-local-name="ucraniano" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%AA%D8%B4%DA%A9%DB%8C%D9%84%DB%8C_%D8%B9%D9%84%D9%88%D9%85" title="تشکیلی علوم (urdu)" lang="ur" hreflang="ur" data-title="تشکیلی علوم" data-language-autonym="اردو" data-language-local-name="urdu" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Rasmiy_fan" title="Rasmiy fan (uzbeko)" lang="uz" hreflang="uz" data-title="Rasmiy fan" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="uzbeko" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Khoa_h%E1%BB%8Dc_h%C3%ACnh_th%E1%BB%A9c" title="Khoa học hình thức (vietnamita)" lang="vi" hreflang="vi" data-title="Khoa học hình thức" data-language-autonym="Tiếng Việt" data-language-local-name="vietnamita" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-war mw-list-item"><a href="https://war.wikipedia.org/wiki/Syensya_nga_pormal" title="Syensya nga pormal (waray)" lang="war" hreflang="war" data-title="Syensya nga pormal" data-language-autonym="Winaray" data-language-local-name="waray" class="interlanguage-link-target"><span>Winaray</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%B8" title="形式科學 (chino)" lang="zh" hreflang="zh" data-title="形式科學" data-language-autonym="中文" data-language-local-name="chino" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-min-nan mw-list-item"><a href="https://zh-min-nan.wikipedia.org/wiki/H%C3%AAng-sek_kho-ha%CC%8Dk" title="Hêng-sek kho-ha̍k (chino min nan)" lang="nan" hreflang="nan" data-title="Hêng-sek kho-ha̍k" data-language-autonym="閩南語 / Bân-lâm-gú" data-language-local-name="chino min nan" class="interlanguage-link-target"><span>閩南語 / Bân-lâm-gú</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%B8" title="形式科學 (cantonés)" lang="yue" hreflang="yue" data-title="形式科學" data-language-autonym="粵語" data-language-local-name="cantonés" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q816264#sitelinks-wikipedia" title="Editar enlaces interlingüísticos" class="wbc-editpage">Editar enlaces</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Espacios de nombres"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Ciencias_formales" title="Ver la página de contenido [c]" accesskey="c"><span>Artículo</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Discusi%C3%B3n:Ciencias_formales" rel="discussion" title="Discusión acerca de la página [t]" accesskey="t"><span>Discusión</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Cambiar variante de idioma" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">español</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Vistas"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Ciencias_formales"><span>Leer</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Ciencias_formales&action=edit" title="Editar esta página [e]" accesskey="e"><span>Editar</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Ciencias_formales&action=history" title="Versiones anteriores de esta página [h]" accesskey="h"><span>Ver historial</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Página de herramientas"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Herramientas" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Herramientas</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Herramientas</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">ocultar</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Más opciones" > <div class="vector-menu-heading"> Acciones </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Ciencias_formales"><span>Leer</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Ciencias_formales&action=edit" title="Editar esta página [e]" accesskey="e"><span>Editar</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Ciencias_formales&action=history"><span>Ver historial</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Especial:LoQueEnlazaAqu%C3%AD/Ciencias_formales" title="Lista de todas las páginas de la wiki que enlazan aquí [j]" accesskey="j"><span>Lo que enlaza aquí</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Especial:CambiosEnEnlazadas/Ciencias_formales" rel="nofollow" title="Cambios recientes en las páginas que enlazan con esta [k]" accesskey="k"><span>Cambios en enlazadas</span></a></li><li id="t-upload" class="mw-list-item"><a href="//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=es" title="Subir archivos [u]" accesskey="u"><span>Subir archivo</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Especial:P%C3%A1ginasEspeciales" title="Lista de todas las páginas especiales [q]" accesskey="q"><span>Páginas especiales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Ciencias_formales&oldid=163376470" title="Enlace permanente a esta versión de la página"><span>Enlace permanente</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Ciencias_formales&action=info" title="Más información sobre esta página"><span>Información de la página</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Especial:Citar&page=Ciencias_formales&id=163376470&wpFormIdentifier=titleform" title="Información sobre cómo citar esta página"><span>Citar esta página</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Especial:Acortador_de_URL&url=https%3A%2F%2Fes.wikipedia.org%2Fwiki%2FCiencias_formales"><span>Obtener URL acortado</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Especial:QrCode&url=https%3A%2F%2Fes.wikipedia.org%2Fwiki%2FCiencias_formales"><span>Descargar código QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Imprimir/exportar </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Especial:Libro&bookcmd=book_creator&referer=Ciencias+formales"><span>Crear un libro</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Especial:DownloadAsPdf&page=Ciencias_formales&action=show-download-screen"><span>Descargar como PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Ciencias_formales&printable=yes" title="Versión imprimible de esta página [p]" accesskey="p"><span>Versión para imprimir</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> En otros proyectos </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Formal_sciences" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q816264" title="Enlace al elemento conectado del repositorio de datos [g]" accesskey="g"><span>Elemento de Wikidata</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Página de herramientas"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apariencia"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Apariencia</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">ocultar</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">De Wikipedia, la enciclopedia libre</div> </div> <div id="contentSub"><div id="mw-content-subtitle"><span class="mw-redirectedfrom">(Redirigido desde «<a href="/w/index.php?title=Ciencia_formal&redirect=no" class="mw-redirect" title="Ciencia formal">Ciencia formal</a>»)</span></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="es" dir="ltr"><p>Las <b>ciencias formales</b> son un conjunto de <a href="/wiki/Ciencia" title="Ciencia">ciencias</a> que estudian los <a href="/wiki/Lenguajes_formales" class="mw-redirect" title="Lenguajes formales">lenguajes formales</a> y los <a href="/wiki/Sistemas_formales" class="mw-redirect" title="Sistemas formales">sistemas formales</a>. Si bien su objeto de estudio no es el mundo físico o natural, sino <a href="/wiki/Objetos_abstractos" class="mw-redirect" title="Objetos abstractos">objetos abstractos</a>, sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es la <a href="/wiki/Razonamiento_deductivo" title="Razonamiento deductivo">deducción</a>; y a diferencia de las <a href="/wiki/Ciencias_f%C3%A1cticas" title="Ciencias fácticas">ciencias fácticas</a>, no admite la <a href="/wiki/Razonamiento_inductivo" title="Razonamiento inductivo">inducción</a> ni la <a href="/wiki/Razonamiento_abductivo" title="Razonamiento abductivo">abducción</a>.<sup id="cite_ref-1" class="reference separada"><a href="#cite_note-1"><span class="corchete-llamada">[</span>1<span class="corchete-llamada">]</span></a></sup> Es aquella que trabaja con formas, es decir, con objetos ideales que existen en la mente y son obtenidos por abstracción. La verdad en las ciencias formales es entendida como <a href="/wiki/Verdad_l%C3%B3gica" title="Verdad lógica">verdad lógica</a>: consecuencias que siguen necesariamente de considerar todas las posibilidades o «formas» en las que podrían combinarse los hechos preestablecidos. </p><p>Ejemplos de ciencias formales son las <a href="/wiki/Matem%C3%A1ticas" title="Matemáticas">matemáticas</a>, la <a href="/wiki/L%C3%B3gica" title="Lógica">lógica</a> y las <a href="/wiki/Ciencias_de_la_computaci%C3%B3n" title="Ciencias de la computación">ciencias de la computación</a>. </p><p>Las ciencias formales son las <a href="/wiki/Ramas_de_la_ciencia" title="Ramas de la ciencia">ramas de la ciencia</a> que estudian <a href="/wiki/Sistemas_formales" class="mw-redirect" title="Sistemas formales">sistemas formales</a>. Las ciencias formales validan sus teorías con base en <a href="/wiki/Proposiciones" class="mw-redirect" title="Proposiciones">proposiciones</a>, <a href="/wiki/Definiciones" class="mw-redirect" title="Definiciones">definiciones</a>, <a href="/wiki/Axioma" title="Axioma">axiomas</a> y <a href="/wiki/Reglas_de_inferencia" class="mw-redirect" title="Reglas de inferencia">reglas de inferencia</a>. Todas ellas son <a href="/wiki/Distinci%C3%B3n_analitico-sint%C3%A9tico" class="mw-redirect" title="Distinción analitico-sintético">analíticas</a> y por regla general se asumen exactas o perfectas, a diferencia de las <a href="/wiki/Ciencias_sociales" title="Ciencias sociales">ciencias sociales</a> y las <a href="/wiki/Ciencias_naturales" title="Ciencias naturales">ciencias naturales</a>, que se argumentan de manera empírica o con métodos experimentales; es decir, observando el mundo real para encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la ciencia formal suelen llamarse «<a href="/wiki/Teorema" title="Teorema">teoremas</a>», que a su vez provienen de <a href="/wiki/Demostraci%C3%B3n_en_matem%C3%A1tica" class="mw-redirect" title="Demostración en matemática">demostraciones matemáticas</a>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Ejemplos">Ejemplos</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Ciencias_formales&action=edit&section=1" title="Editar sección: Ejemplos"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Matemática"><span id="Matem.C3.A1tica"></span>Matemática</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Ciencias_formales&action=edit&section=2" title="Editar sección: Matemática"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="excerpt-block"><style data-mw-deduplicate="TemplateStyles:r144106955">.mw-parser-output .excerpt-hat .mw-editsection-like{font-style:normal}.mw-parser-output .excerpt-more{text-align:right}.mw-parser-output .excerpt-indicator{border-left:3px solid #c8ccd1;margin:1em 0;padding-left:1em}</style><div class="dablink excerpt-hat">Esta sección es un extracto de <a href="/wiki/Matem%C3%A1ticas" title="Matemáticas">Matemáticas</a>.<span class="mw-editsection-like plainlinks"><span class="mw-editsection-bracket">[</span><a class="external text" href="https://es.wikipedia.org/w/index.php?title=Matem%C3%A1ticas&action=edit">editar</a><span class="mw-editsection-bracket">]</span></span></div><div class="excerpt"> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Archivo:Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_(1065x1330).png" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_%281065x1330%29.png/220px-Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_%281065x1330%29.png" decoding="async" width="220" height="275" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_%281065x1330%29.png/330px-Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_%281065x1330%29.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_%281065x1330%29.png/440px-Egyptian_A%27h-mos%C3%A8_or_Rhind_Papyrus_%281065x1330%29.png 2x" data-file-width="1065" data-file-height="1330" /></a><figcaption>El <a href="/wiki/Papiro_de_Ahmes" title="Papiro de Ahmes">papiro</a> egipcio de <a href="/wiki/Ahmes_(escriba)" title="Ahmes (escriba)">Ahmes</a></figcaption></figure> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Archivo:G._Reisch,_Margarita_philosophica_Wellcome_L0025814.jpg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/1/18/G._Reisch%2C_Margarita_philosophica_Wellcome_L0025814.jpg/220px-G._Reisch%2C_Margarita_philosophica_Wellcome_L0025814.jpg" decoding="async" width="220" height="311" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/18/G._Reisch%2C_Margarita_philosophica_Wellcome_L0025814.jpg/330px-G._Reisch%2C_Margarita_philosophica_Wellcome_L0025814.jpg 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/18/G._Reisch%2C_Margarita_philosophica_Wellcome_L0025814.jpg/440px-G._Reisch%2C_Margarita_philosophica_Wellcome_L0025814.jpg 2x" data-file-width="1210" data-file-height="1708" /></a><figcaption><i>Margarita philosophica</i> (literalmente, «perla filosófica»): en este grabado de 1508 de <a href="/wiki/Gregor_Reisch" title="Gregor Reisch">Gregor Reisch</a>, monje cartujo, humanista y polígrafo alemán, se observa a Madame Aritmética instruyendo a un <a href="/wiki/Algorista" class="mw-redirect" title="Algorista">algorista</a> (especialista en algoritmos) y a un <a href="/w/index.php?title=Abascista&action=edit&redlink=1" class="new" title="Abascista (aún no redactado)">abascista</a> (especialista en el uso del ábaco), dos maneras de hacer los cálculos.</figcaption></figure> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Archivo:Euclid.jpg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/2/21/Euclid.jpg/220px-Euclid.jpg" decoding="async" width="220" height="184" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/2/21/Euclid.jpg/330px-Euclid.jpg 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/2/21/Euclid.jpg/440px-Euclid.jpg 2x" data-file-width="806" data-file-height="675" /></a><figcaption><a href="/wiki/Euclides" title="Euclides">Euclides</a> (matemático griego del siglo III a. C.), representado sosteniendo un <a href="/wiki/Comp%C3%A1s_(instrumento)" title="Compás (instrumento)">compás</a>, según lo imaginado por <a href="/wiki/Rafael_Sanzio" title="Rafael Sanzio">Rafael Sanzio</a> en este detalle de <i><a href="/wiki/La_escuela_de_Atenas" title="La escuela de Atenas">La escuela de Atenas</a></i>.<sup id="cite_ref-2" class="reference separada"><a href="#cite_note-2"><span class="corchete-llamada">[</span>2<span class="corchete-llamada">]</span></a></sup></figcaption></figure> Las <a href="/wiki/Matem%C3%A1ticas" title="Matemáticas">matemáticas</a>, o también la matemática <sup id="cite_ref-Matemáticas_DRAE_3-0" class="reference separada"><a href="#cite_note-Matemáticas_DRAE-3"><span class="corchete-llamada">[</span>3<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-Matemáticas_GALL_4-0" class="reference separada"><a href="#cite_note-Matemáticas_GALL-4"><span class="corchete-llamada">[</span>4<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-Matemáticas_PAZUK_5-0" class="reference separada"><a href="#cite_note-Matemáticas_PAZUK-5"><span class="corchete-llamada">[</span>5<span class="corchete-llamada">]</span></a></sup> (del <a href="/wiki/Lat%C3%ADn" title="Latín">latín</a> <i>mathematĭca</i>, y este del <a href="/wiki/Griego_antiguo" title="Griego antiguo">griego</a> μαθηματικά, <a href="/wiki/Romanizaci%C3%B3n_del_griego" title="Romanización del griego">transliterado</a> como <i>mathēmatiká</i>, derivado de μάθημα, <a href="/wiki/Wikipedia:Transliteraci%C3%B3n/Griego" title="Wikipedia:Transliteración/Griego">tr.</a> máthēma (<i><a href="/wiki/Conocimiento" title="Conocimiento">conocimiento</a></i>)) son una ciencia formal que surgió del estudio de las <a href="/wiki/Figura_geom%C3%A9trica" title="Figura geométrica">figuras geométricas</a> y la <a href="/wiki/Aritm%C3%A9tica" title="Aritmética">aritmética</a> con números. Hoy en día se suele aceptar que la matemática es una ciencia que investiga patrones.<sup id="cite_ref-Matemáticas_BROTS_6-0" class="reference separada"><a href="#cite_note-Matemáticas_BROTS-6"><span class="corchete-llamada">[</span>6<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-Matemáticas_BARRO_7-0" class="reference separada"><a href="#cite_note-Matemáticas_BARRO-7"><span class="corchete-llamada">[</span>7<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-Matemáticas_DEVK_8-0" class="reference separada"><a href="#cite_note-Matemáticas_DEVK-8"><span class="corchete-llamada">[</span>8<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-9" class="reference separada"><a href="#cite_note-9"><span class="corchete-llamada">[</span>9<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-Matemáticas_DMENA_10-0" class="reference separada"><a href="#cite_note-Matemáticas_DMENA-10"><span class="corchete-llamada">[</span>10<span class="corchete-llamada">]</span></a></sup></div></div> <div class="mw-heading mw-heading3"><h3 id="Lógica"><span id="L.C3.B3gica"></span>Lógica</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Ciencias_formales&action=edit&section=3" title="Editar sección: Lógica"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="excerpt-block"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r144106955"><div class="dablink excerpt-hat">Esta sección es un extracto de <a href="/wiki/L%C3%B3gica" title="Lógica">Lógica</a>.<span class="mw-editsection-like plainlinks"><span class="mw-editsection-bracket">[</span><a class="external text" href="https://es.wikipedia.org/w/index.php?title=L%C3%B3gica&action=edit">editar</a><span class="mw-editsection-bracket">]</span></span></div><div class="excerpt"> <table style="" class="noprint plainlinks ambox ambox-content"> <tbody><tr> <td class="ambox-image" width="40"> <span typeof="mw:File"><span><img src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Commons-emblem-question_book_orange.svg/45px-Commons-emblem-question_book_orange.svg.png" decoding="async" width="45" height="45" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Commons-emblem-question_book_orange.svg/68px-Commons-emblem-question_book_orange.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Commons-emblem-question_book_orange.svg/90px-Commons-emblem-question_book_orange.svg.png 2x" data-file-width="48" data-file-height="48" /></span></span></td> <td class="ambox-text"><div class="ambox-text-div"><strong>Este artículo o sección tiene <a href="/wiki/Wikipedia:VER" class="mw-redirect" title="Wikipedia:VER">referencias</a>, pero necesita más para complementar su <a href="/wiki/Wikipedia:FF" class="mw-redirect" title="Wikipedia:FF">verificabilidad</a>.</strong> <span class="hide-when-compact"><br /> <span style="font-size: smaller;"><i>Busca fuentes:</i> <span class="plainlinks"><a rel="nofollow" class="external text" href="http://www.google.com/search?as_eq=wikipedia&q=%22Ciencias+formales%22&num=50">«Ciencias formales»</a> – <a rel="nofollow" class="external text" href="https://www.google.com/search?tbm=nws&&as_src=-newswire+-wire+-presswire+-PR+-press+-release+-wikipedia&q=%22Ciencias+formales%22">noticias</a> · <a rel="nofollow" class="external text" href="http://books.google.com/books?as_brr=0&as_pub=-icon&q=%22Ciencias+formales%22">libros</a> · <a rel="nofollow" class="external text" href="http://scholar.google.com/scholar?q=%22Ciencias+formales%22">académico</a> · <a rel="nofollow" class="external text" href="http://images.google.com/images?safe=off&as_rights=(cc_publicdomain%7ccc_attribute%7ccc_sharealike%7ccc_noncommercial%7ccc_nonderived)&q=%22Ciencias+formales%22">imágenes</a></span></span></span></div><div class="hide-when-compact"><small><div>Este aviso fue puesto el 28 de octubre de 2018.</div></small></div></td> </tr> </tbody></table> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Archivo:Modus_ponendo_ponens.png" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/d/df/Modus_ponendo_ponens.png/220px-Modus_ponendo_ponens.png" decoding="async" width="220" height="181" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/d/df/Modus_ponendo_ponens.png/330px-Modus_ponendo_ponens.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/d/df/Modus_ponendo_ponens.png/440px-Modus_ponendo_ponens.png 2x" data-file-width="682" data-file-height="562" /></a><figcaption>Esquema del <i><a href="/wiki/Modus_ponens" class="mw-redirect" title="Modus ponens">modus ponens</a></i>, una <a href="/wiki/Regla_de_inferencia" title="Regla de inferencia">regla de inferencia</a> fundamental de la <a href="/wiki/L%C3%B3gica_proposicional" title="Lógica proposicional">lógica proposicional</a>.</figcaption></figure> <p>La <a href="/wiki/L%C3%B3gica" title="Lógica">lógica</a> es una rama de la <a href="/wiki/Filosof%C3%ADa" title="Filosofía">filosofía</a><sup id="cite_ref-11" class="reference separada"><a href="#cite_note-11"><span class="corchete-llamada">[</span>11<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-12" class="reference separada"><a href="#cite_note-12"><span class="corchete-llamada">[</span>12<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-13" class="reference separada"><a href="#cite_note-13"><span class="corchete-llamada">[</span>13<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-14" class="reference separada"><a href="#cite_note-14"><span class="corchete-llamada">[</span>14<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-15" class="reference separada"><a href="#cite_note-15"><span class="corchete-llamada">[</span>15<span class="corchete-llamada">]</span></a></sup> de carácter <a href="/wiki/Interdisciplinario" class="mw-redirect" title="Interdisciplinario">interdisciplinario</a>, entendida como la <a href="/wiki/Ciencia_formal" class="mw-redirect" title="Ciencia formal">ciencia formal</a> que estudia los principios de la <a href="/wiki/Demostraci%C3%B3n_matem%C3%A1tica" title="Demostración matemática"> demostración</a> y la <a href="/wiki/Inferencia" title="Inferencia">inferencia</a> <a href="/wiki/Validez_l%C3%B3gica" class="mw-redirect" title="Validez lógica">válida</a>,<sup id="cite_ref-16" class="reference separada"><a href="#cite_note-16"><span class="corchete-llamada">[</span>16<span class="corchete-llamada">]</span></a></sup> las <a href="/wiki/Falacia" title="Falacia">falacias</a>, las <a href="/wiki/Paradoja" title="Paradoja">paradojas</a> y la noción de <a href="/wiki/Verdad" title="Verdad">verdad</a>.<sup id="cite_ref-17" class="reference separada"><a href="#cite_note-17"><span class="corchete-llamada">[</span>17<span class="corchete-llamada">]</span></a></sup> </p><p>La lógica se divide en varias categorías según su campo de estudio. La <a href="/wiki/L%C3%B3gica_filos%C3%B3fica" title="Lógica filosófica">lógica filosófica</a> estudia el <a href="/wiki/Concepto" title="Concepto">concepto</a> y la <a href="/wiki/Definici%C3%B3n" title="Definición">definición</a>, la <a href="/wiki/Enunciaci%C3%B3n" title="Enunciación">enunciación</a> o <a href="/wiki/Proposici%C3%B3n" title="Proposición">proposición</a> y la <a href="/wiki/Argumento" title="Argumento">argumentación</a> utilizando los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos. La <a href="/wiki/L%C3%B3gica_matem%C3%A1tica" title="Lógica matemática">lógica matemática</a> estudia la inferencia mediante <a href="/wiki/Sistemas_formales" class="mw-redirect" title="Sistemas formales">sistemas formales</a> como la <a href="/wiki/L%C3%B3gica_proposicional" title="Lógica proposicional">lógica proposicional</a>, la <a href="/wiki/L%C3%B3gica_de_primer_orden" title="Lógica de primer orden">lógica de primer orden</a> y la <a href="/wiki/L%C3%B3gica_modal" title="Lógica modal">lógica modal</a>. La <a href="/wiki/L%C3%B3gica_informal" title="Lógica informal">lógica informal</a> se enfoca en el desarrollo <a href="/wiki/Ling%C3%BC%C3%ADstico" class="mw-redirect" title="Lingüístico">lingüístico</a> de los <a href="/wiki/Razonamiento" title="Razonamiento">razonamientos</a> y sus <a href="/wiki/Falacias" class="mw-redirect" title="Falacias">falacias</a>. La <a href="/wiki/L%C3%B3gica_computacional" title="Lógica computacional">lógica computacional</a> es la aplicación de la lógica matemática a las <a href="/wiki/Ciencias_de_la_computaci%C3%B3n" title="Ciencias de la computación">ciencias de la computación</a>. </p><p>Los orígenes de la lógica se remontan a la <a href="/wiki/Edad_Antigua" title="Edad Antigua">Edad Antigua</a>, con brotes independientes en <a href="/wiki/Rep%C3%BAblica_Popular_China" title="República Popular China">China</a>, <a href="/wiki/India" title="India">India</a> y <a href="/wiki/Grecia" title="Grecia">Grecia</a>. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo <span style="font-variant:small-caps;text-transform:lowercase">XX</span> la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente. </p><p>No existe un acuerdo universal sobre la definición exacta o los límites de la lógica.<sup id="cite_ref-18" class="reference separada"><a href="#cite_note-18"><span class="corchete-llamada">[</span>18<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-19" class="reference separada"><a href="#cite_note-19"><span class="corchete-llamada">[</span>19<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-20" class="reference separada"><a href="#cite_note-20"><span class="corchete-llamada">[</span>20<span class="corchete-llamada">]</span></a></sup> Sin embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye: </p> <ul><li>La clasificación de los <a href="/wiki/Argumento" title="Argumento">argumentos</a>.</li> <li>El análisis sistemático de las <a href="/wiki/Forma_l%C3%B3gica" title="Forma lógica"> formas lógicas</a>.</li> <li>El estudio sistemático de la <a href="/wiki/Validez_(l%C3%B3gica)" title="Validez (lógica)">validez</a> de las <a href="/wiki/Razonamiento_deductivo" title="Razonamiento deductivo">inferencias deductivas</a>.</li> <li>La fuerza de las <a href="/wiki/Razonamiento_inductivo" title="Razonamiento inductivo">inferencias inductivas</a>.</li> <li>El estudio de los <a href="/wiki/Argumento" title="Argumento">argumentos</a> defectuosos, como las <a href="/wiki/Falacia" title="Falacia">falacias</a>.</li> <li>El estudio de las <a href="/wiki/Paradoja" title="Paradoja">paradojas</a> lógicas.</li> <li>El estudio de la <a href="/wiki/Sintaxis" title="Sintaxis">sintaxis</a> y la <a href="/wiki/Sem%C3%A1ntica" title="Semántica">semántica</a> de los <a href="/wiki/Lenguajes_formales" class="mw-redirect" title="Lenguajes formales">lenguajes formales</a>.</li> <li>El estudio de los conceptos de <a href="/wiki/Significado_(filosof%C3%ADa)" title="Significado (filosofía)">sentido</a>, <a href="/wiki/Denotaci%C3%B3n" title="Denotación">denotación</a> y <a href="/wiki/Verdad" title="Verdad">verdad</a>.</li></ul> Históricamente, la lógica se ha estudiado principalmente en <a href="/wiki/Filosof%C3%ADa" title="Filosofía">filosofía</a> desde la antigüedad, en <a href="/wiki/Matem%C3%A1ticas" title="Matemáticas">matemáticas</a> desde mediados del siglo <span style="font-variant:small-caps;text-transform:lowercase">XIX</span> y en <a href="/wiki/Inform%C3%A1tica" title="Informática">informática</a> desde mediados del siglo <span style="font-variant:small-caps;text-transform:lowercase">XX</span>. Más recientemente, la lógica también se ha estudiado en <a href="/wiki/Ling%C3%BC%C3%ADstica" title="Lingüística">lingüística</a> y en <a href="/wiki/Ciencias_cognitivas" class="mw-redirect" title="Ciencias cognitivas">ciencias cognitivas</a>. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.</div></div> <div class="mw-heading mw-heading3"><h3 id="Ciencias_de_la_computación"><span id="Ciencias_de_la_computaci.C3.B3n"></span>Ciencias de la computación</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Ciencias_formales&action=edit&section=4" title="Editar sección: Ciencias de la computación"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="excerpt-block"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r144106955"><div class="dablink excerpt-hat">Esta sección es un extracto de <a href="/wiki/Ciencias_de_la_computaci%C3%B3n" title="Ciencias de la computación">Ciencias de la computación</a>.<span class="mw-editsection-like plainlinks"><span class="mw-editsection-bracket">[</span><a class="external text" href="https://es.wikipedia.org/w/index.php?title=Ciencias_de_la_computaci%C3%B3n&action=edit">editar</a><span class="mw-editsection-bracket">]</span></span></div><div class="excerpt"> <div class="thumb tright"><div class="thumbinner" style="width:300px;"> <table style="border:1px solid #ccc;"> <tbody><tr> <td><small><span typeof="mw:File"><a href="/wiki/Teor%C3%ADa_de_lenguajes_de_programaci%C3%B3n" title="Teoría de lenguajes de programación"><img alt="large capital lambda" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/144px-Lambda_lc.svg.png" decoding="async" width="144" height="144" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/216px-Lambda_lc.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/288px-Lambda_lc.svg.png 2x" data-file-width="375" data-file-height="375" /></a></span></small> </td> <td><span typeof="mw:File"><a href="/wiki/Teor%C3%ADa_de_la_complejidad_computacional" title="Teoría de la complejidad computacional"><img alt="Representación gráfica de del algoritmo de ordenamiento quicksort" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/48/Sorting_quicksort_anim_frame.svg/144px-Sorting_quicksort_anim_frame.svg.png" decoding="async" width="144" height="109" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/48/Sorting_quicksort_anim_frame.svg/216px-Sorting_quicksort_anim_frame.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/48/Sorting_quicksort_anim_frame.svg/288px-Sorting_quicksort_anim_frame.svg.png 2x" data-file-width="283" data-file-height="215" /></a></span> </td></tr> <tr> <td><span typeof="mw:File"><a href="/wiki/Computaci%C3%B3n_gr%C3%A1fica" title="Computación gráfica"><img alt="Tetera de Utah representando los gráficos por computadora" src="//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Utah_teapot_simple_2.png/144px-Utah_teapot_simple_2.png" decoding="async" width="144" height="95" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Utah_teapot_simple_2.png/216px-Utah_teapot_simple_2.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Utah_teapot_simple_2.png/288px-Utah_teapot_simple_2.png 2x" data-file-width="2733" data-file-height="1809" /></a></span> </td> <td><span typeof="mw:File"><a href="/wiki/Interacci%C3%B3n_persona-computador" title="Interacción persona-computador"><img alt="Ratón Microsoft Tastenmaus representando la interacción hombre-máquina" src="//upload.wikimedia.org/wikipedia/commons/thumb/2/22/3-Tasten-Maus_Microsoft.jpg/144px-3-Tasten-Maus_Microsoft.jpg" decoding="async" width="144" height="126" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/2/22/3-Tasten-Maus_Microsoft.jpg/216px-3-Tasten-Maus_Microsoft.jpg 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/2/22/3-Tasten-Maus_Microsoft.jpg/288px-3-Tasten-Maus_Microsoft.jpg 2x" data-file-width="800" data-file-height="701" /></a></span> </td></tr></tbody></table> <div class="thumbcaption">Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.</div> </div> </div> <p>Las <a href="/wiki/Ciencias_de_la_computaci%C3%B3n" title="Ciencias de la computación">ciencias de la computación</a> o ciencias de la informática son las ciencias formales que abarcan las bases teóricas de la <a href="/wiki/Informaci%C3%B3n" title="Información">información</a> y la <a href="/wiki/Teor%C3%ADa_de_la_computaci%C3%B3n" title="Teoría de la computación">computación</a>, así como su aplicación en los <a href="/wiki/Sistemas_de_informaci%C3%B3n" class="mw-redirect" title="Sistemas de información">sistemas informáticos</a>.<sup id="cite_ref-21" class="reference separada"><a href="#cite_note-21"><span class="corchete-llamada">[</span>21<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-22" class="reference separada"><a href="#cite_note-22"><span class="corchete-llamada">[</span>22<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-23" class="reference separada"><a href="#cite_note-23"><span class="corchete-llamada">[</span>23<span class="corchete-llamada">]</span></a></sup> El cuerpo de conocimiento de las ciencias de la computación es frecuentemente descrito como el estudio sistemático de los procesos algorítmicos que describen y transforman información: su teoría, análisis, diseño, eficiencia, implementación, algoritmos sistematizados y aplicación.<sup id="cite_ref-Ciencias_de_la_computación_Encyclopedia_of_Computer_Science,_4th_Edition_24-0" class="reference separada"><a href="#cite_note-Ciencias_de_la_computación_Encyclopedia_of_Computer_Science,_4th_Edition-24"><span class="corchete-llamada">[</span>24<span class="corchete-llamada">]</span></a></sup> En términos más específicos se trata del estudio sistemático de la <a href="/wiki/Factibilidad" title="Factibilidad">factibilidad</a>, <a href="/wiki/Estructura_de_datos" title="Estructura de datos">estructura</a>, <a href="/wiki/Expresi%C3%B3n_(inform%C3%A1tica)" title="Expresión (informática)">expresión</a> y mecanización de procedimientos metódicos (o <a href="/wiki/Algoritmos" class="mw-redirect" title="Algoritmos">algoritmos</a>) que subyacen en la adquisición, <a href="/wiki/Grafo" title="Grafo">representación</a>, <a href="/wiki/Proceso_(inform%C3%A1tica)" title="Proceso (informática)">procesamiento</a>, <a href="/wiki/Dispositivo_de_almacenamiento_de_datos" title="Dispositivo de almacenamiento de datos">almacenamiento</a>, <a href="/wiki/Comunicaci%C3%B3n" title="Comunicación">comunicación</a> y <a href="/wiki/Acceso" title="Acceso">acceso</a> a la <a href="/wiki/Informaci%C3%B3n" title="Información">información</a>. La información puede estar codificada en forma de <a href="/wiki/Bit" title="Bit">bits</a> en una memoria de computadora, o en algún otro objeto, como los genes y proteínas en una célula biológica.<sup id="cite_ref-25" class="reference separada"><a href="#cite_note-25"><span class="corchete-llamada">[</span>25<span class="corchete-llamada">]</span></a></sup> </p><p>Existen diversas ramas o disciplinas dentro de las ciencias de la computación; algunos resaltan los resultados específicos del cómputo (como los <a href="/wiki/Gr%C3%A1ficos_por_computadora" class="mw-redirect" title="Gráficos por computadora">gráficos por computadora</a>), mientras que otros (como la teoría de la <a href="/wiki/Complejidad_computacional" class="mw-redirect" title="Complejidad computacional">complejidad computacional</a>) se relacionan con propiedades de los <a href="/wiki/Algoritmos" class="mw-redirect" title="Algoritmos">algoritmos</a> usados al realizar cómputo; y otros se enfocan en los problemas que requieren la implementación de sistemas informáticos. Por ejemplo, los estudios de la <a href="/wiki/Teor%C3%ADa_de_lenguajes_de_programaci%C3%B3n" title="Teoría de lenguajes de programación">teoría de lenguajes de programación</a> describen un cómputo, mientras que la <a href="/wiki/Programaci%C3%B3n" title="Programación">programación de computadoras</a> aplica <a href="/wiki/Lenguaje_de_programaci%C3%B3n" title="Lenguaje de programación">lenguajes de programación</a> específicos para desarrollar una solución a un problema computacional específico. Un <a href="/wiki/Inform%C3%A1tico_te%C3%B3rico" title="Informático teórico">computólogo</a> se especializa en <a href="/wiki/Teor%C3%ADa_de_la_computaci%C3%B3n" title="Teoría de la computación">teoría de la computación</a> y en el diseño e implementación de sistemas computacionales.<sup id="cite_ref-26" class="reference separada"><a href="#cite_note-26"><span class="corchete-llamada">[</span>26<span class="corchete-llamada">]</span></a></sup> </p> Según <a href="/wiki/Peter_J._Denning" title="Peter J. Denning">Peter J. Denning</a>, la cuestión fundamental en que se basa la ciencia de la computación es: «¿Qué puede ser (eficientemente) automatizado?».<sup id="cite_ref-Ciencias_de_la_computación_Denning_cs_discipline_27-0" class="reference separada"><a href="#cite_note-Ciencias_de_la_computación_Denning_cs_discipline-27"><span class="corchete-llamada">[</span>27<span class="corchete-llamada">]</span></a></sup></div></div> <div class="mw-heading mw-heading2"><h2 id="Véase_también"><span id="V.C3.A9ase_tambi.C3.A9n"></span>Véase también</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Ciencias_formales&action=edit&section=5" title="Editar sección: Véase también"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/Ciencias_naturales" title="Ciencias naturales">Ciencias naturales</a></li> <li><a href="/wiki/Ciencias_sociales" title="Ciencias sociales">Ciencias sociales</a></li> <li><a href="/wiki/Ciencias_aplicadas" title="Ciencias aplicadas">Ciencias aplicadas</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Referencias">Referencias</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Ciencias_formales&action=edit&section=6" title="Editar sección: Referencias"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="listaref" style="list-style-type: decimal;"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://deconceptos.com/general/ciencias-formales">Concepto de ciencias formales</a> en DeConceptos.</span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Ninguna semejanza o descripción de la apariencia física de Euclides durante su vida sobrevivió a la antigüedad. Por lo tanto, la representación de Euclides en las obras de arte depende de la imaginación del artista (véase <a href="/wiki/Euclides" title="Euclides">Euclides</a>).</span> </li> <li id="cite_note-Matemáticas_DRAE-3"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_DRAE_3-0">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://lema.rae.es/drae/?val=matemática">«matemática»</a>, Diccionario de la Real Academia Española . Consultado el 2 de agosto de 2023.</span> </li> <li id="cite_note-Matemáticas_GALL-4"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_GALL_4-0">↑</a></span> <span class="reference-text">Gallardo, Susana (2013, 7 de agosto). <i><a rel="nofollow" class="external text" href="https://nexciencia.exactas.uba.ar/matematica-matematicas-lexicografia">Matemática o matemáticas ¿Una cuestión de número?</a></i> NEXciencia. Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. Consultado el 2 de agosto de 2023</span> </li> <li id="cite_note-Matemáticas_PAZUK-5"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_PAZUK_5-0">↑</a></span> <span class="reference-text">Pazukhin, Rotislao (2021) <i><a rel="nofollow" class="external text" href="https://cvc.cervantes.es/literatura/aih/pdf/13/aih_13_3_072.pdf">Un fantasma de la lexicografía hispánica: «¿matemática o matemáticas?»</a></i>, Alicante: Biblioteca Virtual Miguel de Cervantes. Edición digital a partir de Actas del XIII Congreso de la Asociación Internacional de Hispanistas: Madrid, 6-11 de julio de 1998. Tomo III. Literatura hispanoamericana. Lingüística, Madrid, Castalia, 2000, pp. 551-556. Consultado el 2 de agosto de 2023</span> </li> <li id="cite_note-Matemáticas_BROTS-6"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_BROTS_6-0">↑</a></span> <span class="reference-text">«At root, mathematics is the name we give to the collection of all possible patterns and interrelationships. Some of those patterns are between shapes, others are in sequences of numbers, while others are more abstract relationships between structures. The essence of mathematics lies in the relationships between quantities and qualities. Thus it is the relationships between numbers, not the numbers themselves, that form the focus of interest for modern mathematicians.» Barrow, John D. (1998) <i>Impossibility. The Limits of Science and the Science of Limits</i>, Oxford: Oxford University Press, p. 57 <a href="/wiki/Especial:FuentesDeLibros/9780198518907" class="internal mw-magiclink-isbn">ISBN 978-01-9851-890-7</a>. Hay versión en castellano, Barrow, John D. (2009) <i>Imposibilidad. Los límites de la ciencia y la ciencia de los límites</i>, Barcelona: Gedisa <a href="/wiki/Especial:FuentesDeLibros/9788474326932" class="internal mw-magiclink-isbn">ISBN 978-84-7432-693-2</a></span> </li> <li id="cite_note-Matemáticas_BARRO-7"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_BARRO_7-0">↑</a></span> <span class="reference-text">Barrow, John D. (1997) <i>¿Por qué el mundo es matemático?</i>, Barcelona: Grijalbo <a href="/wiki/Especial:FuentesDeLibros/8425331234" class="internal mw-magiclink-isbn">ISBN 84-253-3123-4</a></span> </li> <li id="cite_note-Matemáticas_DEVK-8"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_DEVK_8-0">↑</a></span> <span class="reference-text"><span id="CITAREFKeith1994" class="citation libro"><a href="/wiki/Keith_Devlin" title="Keith Devlin">Keith, Devlin</a> (1994). <a rel="nofollow" class="external text" href="https://archive.org/details/mathematicsscien0000devl_q5u9"><i>Mathematics: The Science of Patterns.The Search for Order in Life, Mind, and the Universe</i></a>. Scientific American <span style="color:var(--color-subtle, #555 );">(en inglés)</span>. W. H. Freeman. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/978-0-7167-5047-5" title="Especial:FuentesDeLibros/978-0-7167-5047-5">978-0-7167-5047-5</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Keith%2C+Devlin&rft.aufirst=Devlin&rft.aulast=Keith&rft.btitle=Mathematics%3A+The+Science+of+Patterns.The+Search+for+Order+in+Life%2C+Mind%2C+and+the+Universe&rft.date=1994&rft.genre=book&rft.isbn=978-0-7167-5047-5&rft.pub=W.+H.+Freeman&rft.series=Scientific+American&rft_id=https%3A%2F%2Farchive.org%2Fdetails%2Fmathematicsscien0000devl_q5u9&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-9"><span class="mw-cite-backlink"><a href="#cite_ref-9">↑</a></span> <span class="reference-text">Michael N. Fried, (August 2010) <a rel="nofollow" class="external text" href="https://www.maa.org/press/periodicals/convergence/mathematics-as-the-science-of-patterns-introduction">«Mathematics as the Science of Patterns»</a>, <i>Convergence</i>, Mathematical Association of America. Consultado el 10 de agosto de 2023</span> </li> <li id="cite_note-Matemáticas_DMENA-10"><span class="mw-cite-backlink"><a href="#cite_ref-Matemáticas_DMENA_10-0">↑</a></span> <span class="reference-text">de la Peña Mena, José Antonio (11 de octubre de 2019) <a rel="nofollow" class="external text" href="https://www.dgcs.unam.mx/boletin/bdboletin/2019_722.html?fbclid=IwAR2zrwo2Qpk9TUoelwF_bvVxDc0izSxusTlwK-mJg6MeUsuc57XNjWRhImo">«Patrones Matemáticos en la Naturaleza.»</a>, (VIDEO), Conferencia en la Ciudad Universitaria de la Universidad Nacional Autónoma de México, Boletín UNAM-DGCS-722. Consultado el 10 de agosto de 2023</span> </li> <li id="cite_note-11"><span class="mw-cite-backlink"><a href="#cite_ref-11">↑</a></span> <span class="reference-text"><span class="citation web"><a rel="nofollow" class="external text" href="https://www.filosofia.org/enc/ros/log.htm">«Lógica (evolución histórica) - Filosofía.org»</a>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.btitle=L%C3%B3gica+%28evoluci%C3%B3n+hist%C3%B3rica%29+-+Filosof%C3%ADa.org&rft.genre=book&rft_id=https%3A%2F%2Fwww.filosofia.org%2Fenc%2Fros%2Flog.htm&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-12"><span class="mw-cite-backlink"><a href="#cite_ref-12">↑</a></span> <span class="reference-text"><span id="CITAREFHofweber2023" class="citation libro">Hofweber, Thomas (2023). Zalta, Edward N., ed. <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/sum2023/entries/logic-ontology/"><i>Logic and Ontology</i></a> (Summer 2023 edición). Metaphysics Research Lab, Stanford University<span class="reference-accessdate">. Consultado el 12 de marzo de 2024</span>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Hofweber%2C+Thomas&rft.aufirst=Thomas&rft.aulast=Hofweber&rft.btitle=Logic+and+Ontology&rft.date=2023&rft.edition=Summer+2023&rft.genre=book&rft.pub=Metaphysics+Research+Lab%2C+Stanford+University&rft_id=https%3A%2F%2Fplato.stanford.edu%2Farchives%2Fsum2023%2Fentries%2Flogic-ontology%2F&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-13"><span class="mw-cite-backlink"><a href="#cite_ref-13">↑</a></span> <span class="reference-text"><span id="CITAREFShapiroKouri_Kissel2024" class="citation libro">Shapiro, Stewart; Kouri Kissel, Teresa (2024). Zalta, Edward N., ed. <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/spr2024/entries/logic-classical/"><i>Classical Logic</i></a> (Spring 2024 edición). Metaphysics Research Lab, Stanford University<span class="reference-accessdate">. Consultado el 12 de marzo de 2024</span>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Kouri+Kissel%2C+Teresa&rft.au=Shapiro%2C+Stewart&rft.aufirst=Stewart&rft.aulast=Shapiro&rft.btitle=Classical+Logic&rft.date=2024&rft.edition=Spring+2024&rft.genre=book&rft.pub=Metaphysics+Research+Lab%2C+Stanford+University&rft_id=https%3A%2F%2Fplato.stanford.edu%2Farchives%2Fspr2024%2Fentries%2Flogic-classical%2F&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-14"><span class="mw-cite-backlink"><a href="#cite_ref-14">↑</a></span> <span class="reference-text"><span id="CITAREFGerogiorgakis2013-01-01" class="citation libro">Gerogiorgakis, Stamatios (1 de enero de 2013). <a rel="nofollow" class="external text" href="https://dx.doi.org/10.30965/9783897858596_024"><i>Jon Williamson & Federica Russo: Key Terms in Logic</i></a>. Brill | mentis. pp. 384-386. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/978-3-89785-859-6" title="Especial:FuentesDeLibros/978-3-89785-859-6">978-3-89785-859-6</a></small><span class="reference-accessdate">. Consultado el 12 de marzo de 2024</span>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Gerogiorgakis%2C+Stamatios&rft.aufirst=Stamatios&rft.aulast=Gerogiorgakis&rft.btitle=Jon+Williamson+%26amp%3B+Federica+Russo%3A+Key+Terms+in+Logic&rft.date=2013-01-01&rft.genre=book&rft.isbn=978-3-89785-859-6&rft.pages=384-386&rft.pub=Brill+%7C+mentis&rft_id=http%3A%2F%2Fdx.doi.org%2F10.30965%2F9783897858596_024&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-15"><span class="mw-cite-backlink"><a href="#cite_ref-15">↑</a></span> <span class="reference-text"><span class="citation web"><a rel="nofollow" class="external text" href="https://iep.utm.edu/category/s-l-m/logic/">«Logic | Internet Encyclopedia of Philosophy»</a> <span style="color:var(--color-subtle, #555 );">(en inglés estadounidense)</span><span class="reference-accessdate">. Consultado el 12 de marzo de 2024</span>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.btitle=Logic+%7C+Internet+Encyclopedia+of+Philosophy&rft.genre=book&rft_id=https%3A%2F%2Fiep.utm.edu%2Fcategory%2Fs-l-m%2Flogic%2F&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-16"><span class="mw-cite-backlink"><a href="#cite_ref-16">↑</a></span> <span class="reference-text"><span id="CITAREFSimon_Blackburn" class="citation enciclopedia">Simon Blackburn (ed.). «logic». <i>The Oxford Dictionary of Philosophy</i> <span style="color:var(--color-subtle, #555 );">(en inglés)</span> (2008 Edition). <a href="/wiki/Oxford_University_Press" title="Oxford University Press">Oxford University Press</a>. «lógica: La ciencia general de la inferencia.»</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.atitle=The+Oxford+Dictionary+of+Philosophy&rft.btitle=logic&rft.edition=2008+Edition&rft.genre=bookitem&rft.pub=Oxford+University+Press&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-17"><span class="mw-cite-backlink"><a href="#cite_ref-17">↑</a></span> <span class="reference-text"><span id="CITAREFCorazón_González" class="citation libro">Corazón González, Rafael. <a rel="nofollow" class="external text" href="https://books.google.es/books?id=Cf2DLcvVmK4C"><i>Saber, entender... vivir: una aproximación a la filosofía</i></a>. pp. 74-77.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Coraz%C3%B3n+Gonz%C3%A1lez%2C+Rafael&rft.aufirst=Rafael&rft.aulast=Coraz%C3%B3n+Gonz%C3%A1lez&rft.btitle=Saber%2C+entender...+vivir%3A+una+aproximaci%C3%B3n+a+la+filosof%C3%ADa&rft.genre=book&rft.pages=74-77&rft_id=https%3A%2F%2Fbooks.google.es%2Fbooks%3Fid%3DCf2DLcvVmK4C&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-18"><span class="mw-cite-backlink"><a href="#cite_ref-18">↑</a></span> <span class="reference-text"><span id="CITAREFQuine1986" class="citation libro">Quine, Willard Van Orman (1986). <a rel="nofollow" class="external text" href="https://archive.org/details/philosophyoflogi0002quin"><i>Philosophy of Logic</i></a> (2nd edición). Cambridge, MA.: Harvard University Press. pp. <a rel="nofollow" class="external text" href="https://archive.org/details/philosophyoflogi0002quin/page/n14">1</a>–14, 61–75. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/0674665635" title="Especial:FuentesDeLibros/0674665635">0674665635</a></small>. <small><a href="/wiki/JSTOR" title="JSTOR">JSTOR</a> <a rel="nofollow" class="external text" href="//www.jstor.org/stable/j.ctvk12scx">j.ctvk12scx</a></small>. <small><a href="/wiki/OCLC" title="OCLC">OCLC</a> <a rel="nofollow" class="external text" href="//www.worldcat.org/oclc/12664089">12664089</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Quine%2C+Willard+Van+Orman&rft.aufirst=Willard+Van+Orman&rft.aulast=Quine&rft.btitle=Philosophy+of+Logic&rft.date=1986&rft.edition=2nd&rft.genre=book&rft.isbn=0674665635&rft.jstor=j.ctvk12scx&rft.pages=1-14%2C+61-75&rft.place=Cambridge%2C+MA.&rft.pub=Harvard+University+Press&rft_id=https%3A%2F%2Farchive.org%2Fdetails%2Fphilosophyoflogi0002quin&rft_id=info%3Aoclcnum%2F12664089&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-19"><span class="mw-cite-backlink"><a href="#cite_ref-19">↑</a></span> <span class="reference-text"><span id="CITAREFMcGinn2000" class="citation libro">McGinn, Colin (2000). <i>Logical Properties: Identity, Existence, Predication, Necessity, Truth</i>. Oxford: Clarendon Press. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/9780199241811" title="Especial:FuentesDeLibros/9780199241811">9780199241811</a></small>. <small><a href="/wiki/OCLC" title="OCLC">OCLC</a> <a rel="nofollow" class="external text" href="//www.worldcat.org/oclc/44502365">44502365</a></small>. <small><a href="/wiki/Digital_object_identifier" class="mw-redirect" title="Digital object identifier">doi</a>:<a rel="nofollow" class="external text" href="https://dx.doi.org/10.1093%2F0199241813.001.0001">10.1093/0199241813.001.0001</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=McGinn%2C+Colin&rft.aufirst=Colin&rft.aulast=McGinn&rft.btitle=Logical+Properties%3A+Identity%2C+Existence%2C+Predication%2C+Necessity%2C+Truth&rft.date=2000&rft.genre=book&rft.isbn=9780199241811&rft.place=Oxford&rft.pub=Clarendon+Press&rft_id=info%3Adoi%2F10.1093%2F0199241813.001.0001&rft_id=info%3Aoclcnum%2F44502365&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span><sup class="noprint Inline-Template" title="Esta cita requiere una referencia a la página o páginas en la que aparece el material citado. from December 2019" style="white-space:nowrap;">[<i><a href="/wiki/Wikipedia:Referencias" title="Wikipedia:Referencias">página requerida</a></i>]</sup></span> </li> <li id="cite_note-20"><span class="mw-cite-backlink"><a href="#cite_ref-20">↑</a></span> <span class="reference-text"><span id="CITAREFMcKeon2003" class="citation publicación">McKeon, Matthew (2003). <a rel="nofollow" class="external text" href="https://www.cambridge.org/core/product/identifier/S107989860000473X/type/journal_article">«Colin McGinn. Logical properties: identity, existence, predication, necessity, truth. Clarendon Press, Oxford 2000, vi + 114 pp.»</a>. <i>Bulletin of Symbolic Logic</i> <span style="color:var(--color-subtle, #555 );">(en inglés)</span> <b>9</b> (1): 39-42. <small><a href="/wiki/ISSN" class="mw-redirect" title="ISSN">ISSN</a> <a rel="nofollow" class="external text" href="//portal.issn.org/resource/issn/1079-8986">1079-8986</a></small>. <small><a href="/wiki/Digital_object_identifier" class="mw-redirect" title="Digital object identifier">doi</a>:<a rel="nofollow" class="external text" href="https://dx.doi.org/10.1017%2FS107989860000473X">10.1017/S107989860000473X</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.atitle=Colin+McGinn.+Logical+properties%3A+identity%2C+existence%2C+predication%2C+necessity%2C+truth.+Clarendon+Press%2C+Oxford+2000%2C+vi+%2B+114+pp.&rft.au=McKeon%2C+Matthew&rft.aufirst=Matthew&rft.aulast=McKeon&rft.date=2003&rft.genre=article&rft.issn=1079-8986&rft.issue=1&rft.jtitle=Bulletin+of+Symbolic+Logic&rft.pages=39-42&rft.volume=9&rft_id=https%3A%2F%2Fwww.cambridge.org%2Fcore%2Fproduct%2Fidentifier%2FS107989860000473X%2Ftype%2Fjournal_article&rft_id=info%3Adoi%2F10.1017%2FS107989860000473X&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-21"><span class="mw-cite-backlink"><a href="#cite_ref-21">↑</a></span> <span class="reference-text">"<i>Computer science is the study of information</i>" <a rel="nofollow" class="external text" href="https://web.archive.org/web/20080325043352/http://www.njit.edu/v2/archivecatalog/undergraduate/91/19-und.html">Department of Computer and Information Science</a>, Guttenberg Information Technologies</span> </li> <li id="cite_note-22"><span class="mw-cite-backlink"><a href="#cite_ref-22">↑</a></span> <span class="reference-text">"<i>Computer science is the study of computation.</i>" <a rel="nofollow" class="external text" href="http://www.csbsju.edu/computerscience/curriculum">Computer Science Department, College of Saint Benedict</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20070203190237/http://www.csbsju.edu/computerscience/curriculum">Archivado</a> el 3 de febrero de 2007 en <a href="/wiki/Wayback_Machine" title="Wayback Machine">Wayback Machine</a>., Saint John's University</span> </li> <li id="cite_note-23"><span class="mw-cite-backlink"><a href="#cite_ref-23">↑</a></span> <span class="reference-text">"<i>Computer Science is the study of all aspects of computer systems, from the theoretical foundations to the very practical aspects of managing large software projects.</i>" <a rel="nofollow" class="external text" href="https://web.archive.org/web/20060619125916/http://study.massey.ac.nz/major.asp?major_code=2010&prog_code=93068">Massey University</a></span> </li> <li id="cite_note-Ciencias_de_la_computación_Encyclopedia_of_Computer_Science,_4th_Edition-24"><span class="mw-cite-backlink"><a href="#cite_ref-Ciencias_de_la_computación_Encyclopedia_of_Computer_Science,_4th_Edition_24-0">↑</a></span> <span class="reference-text"><span id="CITAREFAnthony_Ralston,_Edwin_D._Reilly,_David_Hemmendinger2000" class="citation libro">Anthony Ralston, Edwin D. Reilly, David Hemmendinger (2000). <i>Encyclopedia of Computer Science</i>. Wiley. <small>978-0-470-86412-8</small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.au=Anthony+Ralston%2C+Edwin+D.+Reilly%2C+David+Hemmendinger&rft.aulast=Anthony+Ralston%2C+Edwin+D.+Reilly%2C+David+Hemmendinger&rft.btitle=Encyclopedia+of+Computer+Science&rft.date=2000&rft.genre=book&rft.pub=Wiley&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-25"><span class="mw-cite-backlink"><a href="#cite_ref-25">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external free" href="http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf">http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20150218130340/http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf">Archivado</a> el 18 de febrero de 2015 en <a href="/wiki/Wayback_Machine" title="Wayback Machine">Wayback Machine</a>..</span> </li> <li id="cite_note-26"><span class="mw-cite-backlink"><a href="#cite_ref-26">↑</a></span> <span class="reference-text"><span class="citation web"><a rel="nofollow" class="external text" href="http://wordnetweb.princeton.edu/perl/webwn?s=computer%20scientist">«WordNet Search - 3.1»</a>. Wordnetweb.princeton.edu<span class="reference-accessdate">. Consultado el 14 de mayo de 2012</span>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.btitle=WordNet+Search+-+3.1&rft.genre=book&rft.pub=Wordnetweb.princeton.edu&rft_id=http%3A%2F%2Fwordnetweb.princeton.edu%2Fperl%2Fwebwn%3Fs%3Dcomputer%2520scientist&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-Ciencias_de_la_computación_Denning_cs_discipline-27"><span class="mw-cite-backlink"><a href="#cite_ref-Ciencias_de_la_computación_Denning_cs_discipline_27-0">↑</a></span> <span class="reference-text"><span id="CITAREFDenning2000" class="citation publicación"><a href="/wiki/Peter_J._Denning" title="Peter J. Denning">Denning, P.J.</a> (2000). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20060525195404/http://www.idi.ntnu.no/emner/dif8916/denning.pdf">«Computer Science: The Discipline»</a> <span style="color:var(--color-subtle, #555 );">(PDF)</span>. <i>Encyclopedia of Computer Science</i>. Archivado desde <a rel="nofollow" class="external text" href="http://www.idi.ntnu.no/emner/dif8916/denning.pdf">el original</a> el 25 de mayo de 2006.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3ACiencias+formales&rft.atitle=Computer+Science%3A+The+Discipline&rft.au=Denning%2C+P.J.&rft.aufirst=P.J.&rft.aulast=Denning&rft.date=2000&rft.genre=article&rft.jtitle=Encyclopedia+of+Computer+Science&rft_id=http%3A%2F%2Fwww.idi.ntnu.no%2Femner%2Fdif8916%2Fdenning.pdf&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal" class="Z3988"><span style="display:none;"> </span></span></span> </li> </ol></div> <style data-mw-deduplicate="TemplateStyles:r161257576">.mw-parser-output .mw-authority-control{margin-top:1.5em}.mw-parser-output .mw-authority-control .navbox table{margin:0}.mw-parser-output .mw-authority-control .navbox hr:last-child{display:none}.mw-parser-output .mw-authority-control .navbox+.mw-mf-linked-projects{display:none}.mw-parser-output .mw-authority-control .mw-mf-linked-projects{display:flex;padding:0.5em;border:1px solid var(--border-color-base,#a2a9b1);background-color:var(--background-color-neutral,#eaecf0);color:var(--color-base,#202122)}.mw-parser-output .mw-authority-control .mw-mf-linked-projects ul li{margin-bottom:0}.mw-parser-output .mw-authority-control .navbox{border:1px solid var(--border-color-base,#a2a9b1);background-color:var(--background-color-neutral-subtle,#f8f9fa)}.mw-parser-output .mw-authority-control .navbox-list{border-color:#f8f9fa}.mw-parser-output .mw-authority-control .navbox th{background-color:#eeeeff}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .mw-mf-linked-projects{border:1px solid var(--border-color-base,#72777d);background-color:var(--background-color-neutral,#27292d);color:var(--color-base,#eaecf0)}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .navbox{border:1px solid var(--border-color-base,#72777d)!important;background-color:var(--background-color-neutral-subtle,#202122)!important}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .navbox-list{border-color:#202122!important}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .navbox th{background-color:#27292d!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .mw-mf-linked-projects{border:1px solid var(--border-color-base,#72777d)!important;background-color:var(--background-color-neutral,#27292d)!important;color:var(--color-base,#eaecf0)!important}html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .navbox{border:1px solid var(--border-color-base,#72777d)!important;background-color:var(--background-color-neutral-subtle,#202122)!important}html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .navbox-list{border-color:#202122!important}html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .navbox th{background-color:#27292d!important}}</style><div class="mw-authority-control"><div role="navigation" class="navbox" aria-label="Navbox" style="width: inherit;padding:3px"><table class="hlist navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="row" class="navbox-group" style="width: 12%; text-align:center;"><a href="/wiki/Control_de_autoridades" title="Control de autoridades">Control de autoridades</a></th><td class="navbox-list navbox-odd" style="text-align:left;border-left-width:2px;border-left-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em"> <ul><li><b>Proyectos Wikimedia</b></li> <li><span style="white-space:nowrap;"><span typeof="mw:File"><a href="/wiki/Wikidata" title="Wikidata"><img alt="Wd" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/20px-Wikidata-logo.svg.png" decoding="async" width="20" height="11" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/30px-Wikidata-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png 2x" data-file-width="1050" data-file-height="590" /></a></span> Datos:</span> <span class="uid"><a href="https://www.wikidata.org/wiki/Q816264" class="extiw" title="wikidata:Q816264">Q816264</a></span></li></ul> </div></td></tr></tbody></table></div><div class="mw-mf-linked-projects hlist"> <ul><li><span style="white-space:nowrap;"><span typeof="mw:File"><a href="/wiki/Wikidata" title="Wikidata"><img alt="Wd" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/20px-Wikidata-logo.svg.png" decoding="async" width="20" height="11" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/30px-Wikidata-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png 2x" data-file-width="1050" data-file-height="590" /></a></span> Datos:</span> <span class="uid"><a href="https://www.wikidata.org/wiki/Q816264" class="extiw" title="wikidata:Q816264">Q816264</a></span></li></ul> </div></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Obtenido de «<a dir="ltr" href="https://es.wikipedia.org/w/index.php?title=Ciencias_formales&oldid=163376470">https://es.wikipedia.org/w/index.php?title=Ciencias_formales&oldid=163376470</a>»</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Especial:Categor%C3%ADas" title="Especial:Categorías">Categoría</a>: <ul><li><a href="/wiki/Categor%C3%ADa:Ciencias_formales" title="Categoría:Ciencias formales">Ciencias formales</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Categorías ocultas: <ul><li><a href="/wiki/Categor%C3%ADa:Wikipedia:P%C3%A1ginas_que_usan_la_extensi%C3%B3n_JsonConfig" title="Categoría:Wikipedia:Páginas que usan la extensión JsonConfig">Wikipedia:Páginas que usan la extensión JsonConfig</a></li><li><a href="/wiki/Categor%C3%ADa:Wikipedia:Art%C3%ADculos_con_citas_que_requieren_n%C3%BAmero_de_p%C3%A1gina" title="Categoría:Wikipedia:Artículos con citas que requieren número de página">Wikipedia:Artículos con citas que requieren número de página</a></li><li><a href="/wiki/Categor%C3%ADa:Wikipedia:P%C3%A1ginas_con_enlaces_m%C3%A1gicos_de_ISBN" title="Categoría:Wikipedia:Páginas con enlaces mágicos de ISBN">Wikipedia:Páginas con enlaces mágicos de ISBN</a></li><li><a href="/wiki/Categor%C3%ADa:Wikipedia:Art%C3%ADculos_con_extractos" title="Categoría:Wikipedia:Artículos con extractos">Wikipedia:Artículos con extractos</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> Esta página se editó por última vez el 3 nov 2024 a las 17:02.</li> <li id="footer-info-copyright">El texto está disponible bajo la <a href="/wiki/Wikipedia:Texto_de_la_Licencia_Creative_Commons_Atribuci%C3%B3n-CompartirIgual_4.0_Internacional" title="Wikipedia:Texto de la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional">Licencia Creative Commons Atribución-CompartirIgual 4.0</a>; pueden aplicarse cláusulas adicionales. Al usar este sitio aceptas nuestros <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/es">términos de uso</a> y nuestra <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Privacy_policy/es">política de privacidad</a>.<br />Wikipedia® es una marca registrada de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/es/">Fundación Wikimedia</a>, una organización sin ánimo de lucro.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/es">Política de privacidad</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:Acerca_de">Acerca de Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:Limitaci%C3%B3n_general_de_responsabilidad">Limitación de responsabilidad</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Código de conducta</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Desarrolladores</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/es.wikipedia.org">Estadísticas</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement/es">Declaración de cookies</a></li> <li id="footer-places-mobileview"><a href="//es.m.wikipedia.org/w/index.php?title=Ciencias_formales&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Versión para móviles</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-f69cdc8f6-v45bm","wgBackendResponseTime":137,"wgPageParseReport":{"limitreport":{"cputime":"0.288","walltime":"0.409","ppvisitednodes":{"value":2921,"limit":1000000},"postexpandincludesize":{"value":60301,"limit":2097152},"templateargumentsize":{"value":3701,"limit":2097152},"expansiondepth":{"value":25,"limit":100},"expensivefunctioncount":{"value":4,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":33137,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 345.815 1 -total"," 43.20% 149.405 3 Plantilla:Extracto"," 28.72% 99.305 1 Plantilla:Control_de_autoridades"," 27.96% 96.697 1 Plantilla:Listaref"," 10.37% 35.876 1 Plantilla:Referencias_adicionales"," 9.67% 33.433 6 Plantilla:Cita_libro"," 8.71% 30.110 1 Plantilla:Aviso"," 6.84% 23.665 2 Plantilla:Problemas_artículo/validar"," 4.75% 16.441 12 Plantilla:Str_mid"," 4.34% 15.016 24 Plantilla:Trim"]},"scribunto":{"limitreport-timeusage":{"value":"0.188","limit":"10.000"},"limitreport-memusage":{"value":2665214,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.main-7c479b968-w9pvn","timestamp":"20241114215050","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Ciencias formales","url":"https:\/\/es.wikipedia.org\/wiki\/Ciencias_formales","sameAs":"http:\/\/www.wikidata.org\/entity\/Q816264","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q816264","author":{"@type":"Organization","name":"Colaboradores de los proyectos Wikimedia"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2012-05-03T15:51:08Z","dateModified":"2024-11-03T17:02:58Z","headline":"rama de la ciencia que estudia los sistemas formales"}</script> </body> </html>