Jump to navigation Jump to search

General

Display information for equation id:math.220080.107 on revision:220080

* Page found: Lambda calculus (eq math.220080.107)

(force rerendering)

Cannot find the equation data in the database. Fetching from revision text.

Occurrences on the following pages:

Hash: 505caf8213c6f1ba5ac67236434a5b5d

TeX (original user input):

( \lambda x . xx)( \lambda x . xx) \to ( xx )[ x := \lambda x . xx ] = ( x [ x := \lambda x . xx ] )( x [ x := \lambda x . xx ] ) = ( \lambda x . xx)( \lambda x . xx )

TeX (checked):

(\lambda x.xx)(\lambda x.xx)\to (xx)[x:=\lambda x.xx]=(x[x:=\lambda x.xx])(x[x:=\lambda x.xx])=(\lambda x.xx)(\lambda x.xx)

LaTeXML (experimental; uses MathML) rendering

MathML (12.149 KB / 1.506 KB) :

( λ x . x x ) ( λ x . x x ) ( x x ) [ x := λ x . x x ] = ( x [ x := λ x . x x ] ) ( x [ x := λ x . x x ] ) = ( λ x . x x ) ( λ x . x x ) fragments fragments normal-( λ x normal-. x x normal-) fragments normal-( λ x normal-. x x normal-) normal-→ fragments normal-( x x normal-) fragments normal-[ x assign λ x normal-. x x normal-] fragments normal-( x fragments normal-[ x assign λ x normal-. x x normal-] normal-) fragments normal-( x fragments normal-[ x assign λ x normal-. x x normal-] normal-) fragments normal-( λ x normal-. x x normal-) fragments normal-( λ x normal-. x x normal-) {\displaystyle(\lambda x.xx)(\lambda x.xx)\to(xx)[x:=\lambda x.xx]=(x[x:=% \lambda x.xx])(x[x:=\lambda x.xx])=(\lambda x.xx)(\lambda x.xx)}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle(\lambda x.xx)(\lambda x.xx)\to(xx)[x:=\lambda x.xx]=(x[x:=%&#10;\lambda x.xx])(x[x:=\lambda x.xx])=(\lambda x.xx)(\lambda x.xx)}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mrow id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">
        <mo stretchy="false" id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">(</mo>
        <mi id="p1.1.m1.1.2">λ</mi>
        <mi id="p1.1.m1.1.3">x</mi>
        <mo id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">.</mo>
        <mi id="p1.1.m1.1.5">x</mi>
        <mi id="p1.1.m1.1.6">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">)</mo>
      </mrow>
      <mrow id="p1.1.m1.1.35" xref="p1.1.m1.1.35.cmml">
        <mo stretchy="false" id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">(</mo>
        <mi id="p1.1.m1.1.9">λ</mi>
        <mi id="p1.1.m1.1.10">x</mi>
        <mo id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">.</mo>
        <mi id="p1.1.m1.1.12">x</mi>
        <mi id="p1.1.m1.1.13">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml"></mo>
      <mrow id="p1.1.m1.1.48" xref="p1.1.m1.1.48.cmml">
        <mo stretchy="false" id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">(</mo>
        <mi id="p1.1.m1.1.17">x</mi>
        <mi id="p1.1.m1.1.18">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">)</mo>
      </mrow>
      <mrow id="p1.1.m1.1.72" xref="p1.1.m1.1.72.cmml">
        <mo stretchy="false" id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">[</mo>
        <mi id="p1.1.m1.1.21">x</mi>
        <mo id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml">:=</mo>
        <mi id="p1.1.m1.1.24">λ</mi>
        <mi id="p1.1.m1.1.25">x</mi>
        <mo id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">.</mo>
        <mi id="p1.1.m1.1.27">x</mi>
        <mi id="p1.1.m1.1.28">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">]</mo>
      </mrow>
      <mo id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">=</mo>
      <mrow id="p1.1.m1.1.74" xref="p1.1.m1.1.74.cmml">
        <mo stretchy="false" id="p1.1.m1.1.31" xref="p1.1.m1.1.31.cmml">(</mo>
        <mi id="p1.1.m1.1.32">x</mi>
        <mrow id="p1.1.m1.1.73" xref="p1.1.m1.1.73.cmml">
          <mo stretchy="false" id="p1.1.m1.1.33" xref="p1.1.m1.1.33.cmml">[</mo>
          <mi id="p1.1.m1.1.34">x</mi>
          <mo id="p1.1.m1.1.36" xref="p1.1.m1.1.36.cmml">:=</mo>
          <mi id="p1.1.m1.1.37">λ</mi>
          <mi id="p1.1.m1.1.38">x</mi>
          <mo id="p1.1.m1.1.39" xref="p1.1.m1.1.39.cmml">.</mo>
          <mi id="p1.1.m1.1.40">x</mi>
          <mi id="p1.1.m1.1.41">x</mi>
          <mo stretchy="false" id="p1.1.m1.1.42" xref="p1.1.m1.1.42.cmml">]</mo>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.43" xref="p1.1.m1.1.43.cmml">)</mo>
      </mrow>
      <mrow id="p1.1.m1.1.76" xref="p1.1.m1.1.76.cmml">
        <mo stretchy="false" id="p1.1.m1.1.44" xref="p1.1.m1.1.44.cmml">(</mo>
        <mi id="p1.1.m1.1.45">x</mi>
        <mrow id="p1.1.m1.1.75" xref="p1.1.m1.1.75.cmml">
          <mo stretchy="false" id="p1.1.m1.1.46" xref="p1.1.m1.1.46.cmml">[</mo>
          <mi id="p1.1.m1.1.47">x</mi>
          <mo id="p1.1.m1.1.49" xref="p1.1.m1.1.49.cmml">:=</mo>
          <mi id="p1.1.m1.1.50">λ</mi>
          <mi id="p1.1.m1.1.51">x</mi>
          <mo id="p1.1.m1.1.52" xref="p1.1.m1.1.52.cmml">.</mo>
          <mi id="p1.1.m1.1.53">x</mi>
          <mi id="p1.1.m1.1.54">x</mi>
          <mo stretchy="false" id="p1.1.m1.1.55" xref="p1.1.m1.1.55.cmml">]</mo>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.56" xref="p1.1.m1.1.56.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.57" xref="p1.1.m1.1.57.cmml">=</mo>
      <mrow id="p1.1.m1.1.77" xref="p1.1.m1.1.77.cmml">
        <mo stretchy="false" id="p1.1.m1.1.58" xref="p1.1.m1.1.58.cmml">(</mo>
        <mi id="p1.1.m1.1.59">λ</mi>
        <mi id="p1.1.m1.1.60">x</mi>
        <mo id="p1.1.m1.1.61" xref="p1.1.m1.1.61.cmml">.</mo>
        <mi id="p1.1.m1.1.62">x</mi>
        <mi id="p1.1.m1.1.63">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.64" xref="p1.1.m1.1.64.cmml">)</mo>
      </mrow>
      <mrow id="p1.1.m1.1.78" xref="p1.1.m1.1.78.cmml">
        <mo stretchy="false" id="p1.1.m1.1.65" xref="p1.1.m1.1.65.cmml">(</mo>
        <mi id="p1.1.m1.1.66">λ</mi>
        <mi id="p1.1.m1.1.67">x</mi>
        <mo id="p1.1.m1.1.68" xref="p1.1.m1.1.68.cmml">.</mo>
        <mi id="p1.1.m1.1.69">x</mi>
        <mi id="p1.1.m1.1.70">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.71" xref="p1.1.m1.1.71.cmml">)</mo>
      </mrow>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1c">
      <cerror id="p1.1.m1.1d">
        <csymbol cd="ambiguous" id="p1.1.m1.1e">fragments</csymbol>
        <cerror id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">
          <csymbol cd="ambiguous" id="p1.1.m1.1.22a.cmml" xref="p1.1.m1.1.22">fragments</csymbol>
          <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.22b.cmml" xref="p1.1.m1.1.22">λ</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.22c.cmml" xref="p1.1.m1.1.22">x</csymbol>
          <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">normal-.</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.22d.cmml" xref="p1.1.m1.1.22">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.22e.cmml" xref="p1.1.m1.1.22">x</csymbol>
          <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">normal-)</ci>
        </cerror>
        <cerror id="p1.1.m1.1.35.cmml" xref="p1.1.m1.1.35">
          <csymbol cd="ambiguous" id="p1.1.m1.1.35a.cmml" xref="p1.1.m1.1.35">fragments</csymbol>
          <ci id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.35b.cmml" xref="p1.1.m1.1.35">λ</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.35c.cmml" xref="p1.1.m1.1.35">x</csymbol>
          <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">normal-.</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.35d.cmml" xref="p1.1.m1.1.35">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.35e.cmml" xref="p1.1.m1.1.35">x</csymbol>
          <ci id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">normal-)</ci>
        </cerror>
        <ci id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">normal-→</ci>
        <cerror id="p1.1.m1.1.48.cmml" xref="p1.1.m1.1.48">
          <csymbol cd="ambiguous" id="p1.1.m1.1.48a.cmml" xref="p1.1.m1.1.48">fragments</csymbol>
          <ci id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.48b.cmml" xref="p1.1.m1.1.48">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.48c.cmml" xref="p1.1.m1.1.48">x</csymbol>
          <ci id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">normal-)</ci>
        </cerror>
        <cerror id="p1.1.m1.1.72.cmml" xref="p1.1.m1.1.72">
          <csymbol cd="ambiguous" id="p1.1.m1.1.72a.cmml" xref="p1.1.m1.1.72">fragments</csymbol>
          <ci id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">normal-[</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.72b.cmml" xref="p1.1.m1.1.72">x</csymbol>
          <csymbol cd="latexml" id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23">assign</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.72c.cmml" xref="p1.1.m1.1.72">λ</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.72d.cmml" xref="p1.1.m1.1.72">x</csymbol>
          <ci id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26">normal-.</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.72e.cmml" xref="p1.1.m1.1.72">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.72f.cmml" xref="p1.1.m1.1.72">x</csymbol>
          <ci id="p1.1.m1.1.29.cmml" xref="p1.1.m1.1.29">normal-]</ci>
        </cerror>
        <eq id="p1.1.m1.1.30.cmml" xref="p1.1.m1.1.30"/>
        <cerror id="p1.1.m1.1.74.cmml" xref="p1.1.m1.1.74">
          <csymbol cd="ambiguous" id="p1.1.m1.1.74a.cmml" xref="p1.1.m1.1.74">fragments</csymbol>
          <ci id="p1.1.m1.1.31.cmml" xref="p1.1.m1.1.31">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.74b.cmml" xref="p1.1.m1.1.74">x</csymbol>
          <cerror id="p1.1.m1.1.73.cmml" xref="p1.1.m1.1.73">
            <csymbol cd="ambiguous" id="p1.1.m1.1.73a.cmml" xref="p1.1.m1.1.73">fragments</csymbol>
            <ci id="p1.1.m1.1.33.cmml" xref="p1.1.m1.1.33">normal-[</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.73b.cmml" xref="p1.1.m1.1.73">x</csymbol>
            <csymbol cd="latexml" id="p1.1.m1.1.36.cmml" xref="p1.1.m1.1.36">assign</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.73c.cmml" xref="p1.1.m1.1.73">λ</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.73d.cmml" xref="p1.1.m1.1.73">x</csymbol>
            <ci id="p1.1.m1.1.39.cmml" xref="p1.1.m1.1.39">normal-.</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.73e.cmml" xref="p1.1.m1.1.73">x</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.73f.cmml" xref="p1.1.m1.1.73">x</csymbol>
            <ci id="p1.1.m1.1.42.cmml" xref="p1.1.m1.1.42">normal-]</ci>
          </cerror>
          <ci id="p1.1.m1.1.43.cmml" xref="p1.1.m1.1.43">normal-)</ci>
        </cerror>
        <cerror id="p1.1.m1.1.76.cmml" xref="p1.1.m1.1.76">
          <csymbol cd="ambiguous" id="p1.1.m1.1.76a.cmml" xref="p1.1.m1.1.76">fragments</csymbol>
          <ci id="p1.1.m1.1.44.cmml" xref="p1.1.m1.1.44">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.76b.cmml" xref="p1.1.m1.1.76">x</csymbol>
          <cerror id="p1.1.m1.1.75.cmml" xref="p1.1.m1.1.75">
            <csymbol cd="ambiguous" id="p1.1.m1.1.75a.cmml" xref="p1.1.m1.1.75">fragments</csymbol>
            <ci id="p1.1.m1.1.46.cmml" xref="p1.1.m1.1.46">normal-[</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.75b.cmml" xref="p1.1.m1.1.75">x</csymbol>
            <csymbol cd="latexml" id="p1.1.m1.1.49.cmml" xref="p1.1.m1.1.49">assign</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.75c.cmml" xref="p1.1.m1.1.75">λ</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.75d.cmml" xref="p1.1.m1.1.75">x</csymbol>
            <ci id="p1.1.m1.1.52.cmml" xref="p1.1.m1.1.52">normal-.</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.75e.cmml" xref="p1.1.m1.1.75">x</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.75f.cmml" xref="p1.1.m1.1.75">x</csymbol>
            <ci id="p1.1.m1.1.55.cmml" xref="p1.1.m1.1.55">normal-]</ci>
          </cerror>
          <ci id="p1.1.m1.1.56.cmml" xref="p1.1.m1.1.56">normal-)</ci>
        </cerror>
        <eq id="p1.1.m1.1.57.cmml" xref="p1.1.m1.1.57"/>
        <cerror id="p1.1.m1.1.77.cmml" xref="p1.1.m1.1.77">
          <csymbol cd="ambiguous" id="p1.1.m1.1.77a.cmml" xref="p1.1.m1.1.77">fragments</csymbol>
          <ci id="p1.1.m1.1.58.cmml" xref="p1.1.m1.1.58">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.77b.cmml" xref="p1.1.m1.1.77">λ</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.77c.cmml" xref="p1.1.m1.1.77">x</csymbol>
          <ci id="p1.1.m1.1.61.cmml" xref="p1.1.m1.1.61">normal-.</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.77d.cmml" xref="p1.1.m1.1.77">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.77e.cmml" xref="p1.1.m1.1.77">x</csymbol>
          <ci id="p1.1.m1.1.64.cmml" xref="p1.1.m1.1.64">normal-)</ci>
        </cerror>
        <cerror id="p1.1.m1.1.78.cmml" xref="p1.1.m1.1.78">
          <csymbol cd="ambiguous" id="p1.1.m1.1.78a.cmml" xref="p1.1.m1.1.78">fragments</csymbol>
          <ci id="p1.1.m1.1.65.cmml" xref="p1.1.m1.1.65">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.78b.cmml" xref="p1.1.m1.1.78">λ</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.78c.cmml" xref="p1.1.m1.1.78">x</csymbol>
          <ci id="p1.1.m1.1.68.cmml" xref="p1.1.m1.1.68">normal-.</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.78d.cmml" xref="p1.1.m1.1.78">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.78e.cmml" xref="p1.1.m1.1.78">x</csymbol>
          <ci id="p1.1.m1.1.71.cmml" xref="p1.1.m1.1.71">normal-)</ci>
        </cerror>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle(\lambda x.xx)(\lambda x.xx)\to(xx)[x:=\lambda x.xx]=(x[x:=%
\lambda x.xx])(x[x:=\lambda x.xx])=(\lambda x.xx)(\lambda x.xx)}</annotation>
  </semantics>
</math>

SVG image empty. Force Re-Rendering

SVG (12.353 KB / 2.454 KB) :

left-parenthesis lamda x period x x right-parenthesis left-parenthesis lamda x period x x right-parenthesis right-arrow left-parenthesis x x right-parenthesis left-bracket x colon equals lamda x period x x right-bracket equals left-parenthesis x left-bracket x colon equals lamda x period x x right-bracket right-parenthesis left-parenthesis x left-bracket x colon equals lamda x period x x right-bracket right-parenthesis equals left-parenthesis lamda x period x x right-parenthesis left-parenthesis lamda x period x x right-parenthesis

MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools) rendering

MathML (0 B / 8 B) :

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :


PNG (0 B / 8 B) :


Translations to Computer Algebra Systems

Translation to Maple

In Maple:

[ERROR] java.lang.IllegalArgumentException: java.lang.ClassCastException@5246835d

Translation to Mathematica

In Mathematica:

[ERROR] java.lang.IllegalArgumentException: java.lang.ClassCastException@5246835d

Similar pages

Calculated based on the variables occurring on the entire Lambda calculus page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results