Digital Scientific Notations - Revision history

Khinsen: Another link fix

2022-11-11T05:35:59Z

Another link fix

← Older revision		Revision as of 05:35, 11 November 2022
Line 3:		Line 3:
	A '''digital''' scientific notation is a scientific notation that can be processed by both humans and computers. A machine readable notation is necessarily a [https://en.wikipedia.org/wiki/Formal_language formal language] and thus has a well-defined unambiguous syntax in addition to some useful level of well-defined semantics.		A '''digital''' scientific notation is a scientific notation that can be processed by both humans and computers. A machine readable notation is necessarily a [https://en.wikipedia.org/wiki/Formal_language formal language] and thus has a well-defined unambiguous syntax in addition to some useful level of well-defined semantics.

	There are many formal languages designed for representing scientific information. An example is the [~~Systems Biology Markup Language (~~https://en.wikipedia.org/wiki/SBML SBML)]. Most of them do not qualify as digital scientific notations, because they are designed to be used by software but not for communication between humans.		There are many formal languages designed for representing scientific information. An example is the [https://en.wikipedia.org/wiki/SBML Systems Biology Markup Language (SBML)]. Most of them do not qualify as digital scientific notations, because they are designed to be used by software but not for communication between humans.

	There are also formal languages that are designed to be read and written by humans, in addition to computers. Programming languages are the most prominent examples. In scientific computing, programming languages are routinely used to represent scientific knowledge as program code. In particular, computational notebooks embed code written in high-level programming languages such as Python or R into a narrative, much like mathematical notation is used in traditional scientific publications. However, programming languages fill the role of scientific notations rather poorly, in particular because they cannot express anything other than executable algorithms.		There are also formal languages that are designed to be read and written by humans, in addition to computers. Programming languages are the most prominent examples. In scientific computing, programming languages are routinely used to represent scientific knowledge as program code. In particular, computational notebooks embed code written in high-level programming languages such as Python or R into a narrative, much like mathematical notation is used in traditional scientific publications. However, programming languages fill the role of scientific notations rather poorly, in particular because they cannot express anything other than executable algorithms.

Khinsen: Fix link syntax

2022-11-11T05:35:08Z

Fix link syntax

← Older revision		Revision as of 05:35, 11 November 2022
Line 1:		Line 1:
	A scientific notation is a convention for encoding scientific information using symbols. The best known example is mathematical notation. The goal of a scientific notation is to represent scientific knowledge in a way that humans can easily comprehend and manipulate. While in principle a mathematical equation could be replaced by an equivalent statement in plain language, the more concise equation is faster to read (assuming a trained reader) and allows manipulation by formal rules (such as "add the same term to both sides").		A scientific notation is a convention for encoding scientific information using symbols. The best known example is mathematical notation. The goal of a scientific notation is to represent scientific knowledge in a way that humans can easily comprehend and manipulate. While in principle a mathematical equation could be replaced by an equivalent statement in plain language, the more concise equation is faster to read (assuming a trained reader) and allows manipulation by formal rules (such as "add the same term to both sides").

	A '''digital''' scientific notation is a scientific notation that can be processed by both humans and computers. A machine readable notation is necessarily a [~~formal language](~~https://en.wikipedia.org/wiki/Formal_language) and thus has a well-defined unambiguous syntax in addition to some useful level of well-defined semantics.		A '''digital''' scientific notation is a scientific notation that can be processed by both humans and computers. A machine readable notation is necessarily a [https://en.wikipedia.org/wiki/Formal_language formal language] and thus has a well-defined unambiguous syntax in addition to some useful level of well-defined semantics.

	There are many formal languages designed for representing scientific information. An example is the [Systems Biology Markup Language ~~(SBML)]~~(https://en.wikipedia.org/wiki/SBML). Most of them do not qualify as digital scientific notations, because they are designed to be used by software but not for communication between humans.		There are many formal languages designed for representing scientific information. An example is the [Systems Biology Markup Language (https://en.wikipedia.org/wiki/SBML SBML)]. Most of them do not qualify as digital scientific notations, because they are designed to be used by software but not for communication between humans.

	There are also formal languages that are designed to be read and written by humans, in addition to computers. Programming languages are the most prominent examples. In scientific computing, programming languages are routinely used to represent scientific knowledge as program code. In particular, computational notebooks embed code written in high-level programming languages such as Python or R into a narrative, much like mathematical notation is used in traditional scientific publications. However, programming languages fill the role of scientific notations rather poorly, in particular because they cannot express anything other than executable algorithms.		There are also formal languages that are designed to be read and written by humans, in addition to computers. Programming languages are the most prominent examples. In scientific computing, programming languages are routinely used to represent scientific knowledge as program code. In particular, computational notebooks embed code written in high-level programming languages such as Python or R into a narrative, much like mathematical notation is used in traditional scientific publications. However, programming languages fill the role of scientific notations rather poorly, in particular because they cannot express anything other than executable algorithms.

Khinsen at 05:30, 11 November 2022

2022-11-11T05:30:46Z

← Older revision		Revision as of 05:30, 11 November 2022
Line 1:		Line 1:
			A scientific notation is a convention for encoding scientific information using symbols. The best known example is mathematical notation. The goal of a scientific notation is to represent scientific knowledge in a way that humans can easily comprehend and manipulate. While in principle a mathematical equation could be replaced by an equivalent statement in plain language, the more concise equation is faster to read (assuming a trained reader) and allows manipulation by formal rules (such as "add the same term to both sides").

			A '''digital''' scientific notation is a scientific notation that can be processed by both humans and computers. A machine readable notation is necessarily a [formal language](https://en.wikipedia.org/wiki/Formal_language) and thus has a well-defined unambiguous syntax in addition to some useful level of well-defined semantics.

			There are many formal languages designed for representing scientific information. An example is the [Systems Biology Markup Language (SBML)](https://en.wikipedia.org/wiki/SBML). Most of them do not qualify as digital scientific notations, because they are designed to be used by software but not for communication between humans.

			There are also formal languages that are designed to be read and written by humans, in addition to computers. Programming languages are the most prominent examples. In scientific computing, programming languages are routinely used to represent scientific knowledge as program code. In particular, computational notebooks embed code written in high-level programming languages such as Python or R into a narrative, much like mathematical notation is used in traditional scientific publications. However, programming languages fill the role of scientific notations rather poorly, in particular because they cannot express anything other than executable algorithms.

			Digital scientific notations are '''not''' computational tools, but parts of the communication interfaces between scientists and their computational tools. In particular, they permit scientists to discuss computational models and methods in a way that ensures conformity between the human narratives and the computations.

			Further reading: [https://arxiv.org/abs/1605.02960 Scientific Notations for the Digital Era] (on arXiv)

	== Discord ==		== Discord ==

Jonny: /* Discord */ new section

2022-11-11T05:25:45Z

Discord: new section

New page

== Discord ==

{{Message
|Author=Konrad Hinsen
|Avatar=https://cdn.discordapp.com/avatars/499904513038090240/343ae17c322fa09b3260f95e58bc4f29.png?size=1024
|Date Sent=22-11-11 05:26:42
|Channel=WikiFunctions
|Text=That said, the more abstract idea of defining a data model plus execution semantics that any programming language can plug into looks very promising. That aspect of WikiLambda was in fact one of my inspirations for developing [[Digital Scientific Notations]].
|Link=https://discord.com/channels/1029514961782849607/1040456437022859324/1040497782882062336
}}