المؤلفون: Velupillai, K. Vela^Aff22

المساهمون: Abarbanel, Henry D. I., Series Editor^Aff1, Braha, Dan, Series Editor^Aff2, Érdi, Péter, Series Editor^Aff3, Friston, Karl J., Series Editor^Aff4, Grillner, Sten, Series Editor^Aff5, Haken, Hermann, Series Editor^Aff6, Jirsa, Viktor, Series Editor^Aff7, Kacprzyk, Janusz, Series Editor^Aff8, Kaneko, Kunihiko, Series Editor^Aff9, Kelso, Scott, Founding Editor^Aff10, Kirkilionis, Markus, Series Editor^Aff11, Menezes, Ronaldo, Series Editor^Aff12, Kurths, Jürgen, Series Editor^Aff13, Nowak, Andrzej, Series Editor^Aff14, Qudrat-Ullah, Hassan, Series Editor^Aff15, Reichl, Linda, Series Editor^Aff16, Schuster, Peter, Series Editor^Aff17, Schweitzer, Frank, Series Editor^Aff18, Sornette, Didier, Series Editor^Aff19, Thurner, Stefan, Series Editor^Aff20, Venkatachalam, Ragupathy, editor^Aff21

المصدر: Artificial Intelligence, Learning and Computation in Economics and Finance. :13-26

المؤلفون: Mancosu, Paolo, author, Galvan, Sergio, author, Zach, Richard, author

المصدر: An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs, 2021.

الإتاحة: https://doi.org/10.1093/oso/9780192895936.003.0008

المؤلفون: Alexander Rahn, Eldar Sultanow, Max Henkel, Sourangshu Ghosh, Idriss J. Aberkane

المصدر: Mathematics, Vol 9, Iss 16, p 1898 (2021)

مصطلحات موضوعية: Collatz sequence, Peano arithmetic, Hydra game, modular arithmetic, dynamical systems, non-ergodic systems, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/9/16/1898; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/c7c708cb696b407db1e84b1371b090f4

المؤلفون: Idriss J. Aberkane, Eldar Sultanow, Alexander Rahn, Max Henkel, Sourangshu Ghosh

المصدر: Mathematics; Volume 9; Issue 16; Pages: 1898
Mathematics, Vol 9, Iss 1898, p 1898 (2021)

مصطلحات موضوعية: Collatz sequence, Binary tree, Dynamical systems theory, Modular arithmetic, Peano arithmetic, Hydra game, modular arithmetic, dynamical systems, non-ergodic systems, General Mathematics, Natural number, Collatz conjecture, Peano axioms, QA1-939, Computer Science (miscellaneous), Axiom of choice, Dynamical system (definition), Engineering (miscellaneous), Algorithm, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea6f954fd8cb646d06a677bf1f1c7189

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Lorenzo Carlucci

المصدر: MLQ. 51:342-350

مصطلحات موضوعية: Discrete mathematics, Sequence, Reduction (recursion theory), Logic, beklemishev's worm principle, Provability logic, kirby-paris' hydra game, Natural number, Characterization (mathematics), Algebra, well-quasi-order, independence results, provability logic, gap-embedding, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2855e90c1196cedf253fd2cede973e88
https://doi.org/10.1002/malq.200410035

المؤلفون: Lorenzo Carlucci, Patrick Dehornoy, Andreas Weiermann

المساهمون: Department of Computer Science, Università degli Studi di Roma 'La Sapienza' [Rome], Laboratoire de Mathématiques Nicolas Oresme ( LMNO ), Université de Caen Normandie ( UNICAEN ), Normandie Université ( NU ) -Normandie Université ( NU ) -Centre National de la Recherche Scientifique ( CNRS ), Vakgroep Zuivere Wiskunde en Computeralgebra, Ghent University [Belgium] ( UGENT ), Università degli Studi di Roma 'La Sapienza' = Sapienza University [Rome], Laboratoire de Mathématiques Nicolas Oresme (LMNO), Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), Universiteit Gent = Ghent University [Belgium] (UGENT)

المصدر: 32 pages. 2007

مصطلحات موضوعية: Algebraic properties, Pure mathematics, General Mathematics, unprovability statements, braid group, 0102 computer and information sciences, 01 natural sciences, Mathematics::Group Theory, Simple (abstract algebra), Peano axioms, Mathematics::Category Theory, Mathematics::Quantum Algebra, Braid, FOS: Mathematics, 0101 mathematics, Mathematics, 010102 general mathematics, hydra game, Order (ring theory), Mathematics - Logic, Mathematics::Geometric Topology, braid ordering, [ MATH.MATH-LO ] Mathematics [math]/Logic [math.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], 03B30, 03F35, 20F36, 91A50, 010201 computation theory & mathematics, Logic (math.LO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0a8b2fe1c2e9b23798cc48bad72557f
http://arxiv.org/abs/0711.3785

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.