{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "picard-little-great-omitted-values-1879",
    "title": "Picard's omitted-value theorems for entire functions and isolated essential singularities",
    "summary": "Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family.",
    "boundary": "Constant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.",
    "area": "Complex analysis and value distribution",
    "topic": "Mathematics",
    "year": 1879,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "picard-little-great-omitted-values-1879",
    "target": {
      "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
      "version": 1,
      "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
    },
    "humans": [
      "Émile Picard"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-picard-entire-may1879",
        "title": "Sur une propriété des fonctions entières",
        "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf",
        "date": "1879"
      },
      {
        "id": "cur20261020-picard-entire-oct1879",
        "title": "Sur les fonctions entières",
        "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p662.pdf",
        "date": "1879"
      },
      {
        "id": "cur20261020-picard-memoire-1880",
        "title": "Mémoire sur les fonctions entières",
        "url": "https://www.numdam.org/item/10.24033/asens.187.pdf",
        "date": "1880"
      }
    ],
    "points": "270000",
    "published_grade": {
      "id": "picard-little-great-omitted-values-1879",
      "entry_id": "picard-little-great-omitted-values-1879",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
        "version": 1,
        "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
      },
      "what_changed": "Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family.",
      "scope": "Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family. Constant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
        "version": 1,
        "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Émile Picard",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur une propriété des fonctions entières",
            "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sur une propriété des fonctions entières",
            "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Sur les fonctions entières",
            "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p662.pdf"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-2",
          "kind": "source_reference",
          "source": {
            "citation": "Mémoire sur les fonctions entières",
            "url": "https://www.numdam.org/item/10.24033/asens.187.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Constant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.",
        "domain": "Complex analysis and value distribution"
      },
      "sources": [
        {
          "citation": "Sur une propriété des fonctions entières",
          "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf"
        },
        {
          "citation": "Sur les fonctions entières",
          "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p662.pdf"
        },
        {
          "citation": "Mémoire sur les fonctions entières",
          "url": "https://www.numdam.org/item/10.24033/asens.187.pdf"
        }
      ],
      "statement": "# Picard's omitted-value theorems for entire functions and isolated essential singularities\n\n## Can a function avoid two numbers forever?\n\nA complex number has two real coordinates, often written x plus i times y, where i squared is minus one. Complex analysis studies functions that satisfy a strong, direction-independent differentiability condition. An entire function satisfies it throughout the complex plane. Picard showed that a nonconstant entire function cannot avoid two distinct finite complex values. However elaborate the function becomes, at most one such value can be permanently missing.\n\n## A function that avoids zero\n\nThe exponential function gives an important example. Its value is never zero, because the product of exp(z) and exp(-z) is one. This shows why the theorem must permit one omitted value. It does not prove the theorem: demonstrating one function's behavior cannot establish a restriction on every nonconstant entire function. Constants must be excluded as well, since a constant function omits almost every value in the plane.\n\n## A stronger question near a singularity\n\nA singularity is a point where the required analytic behavior breaks down. An isolated essential singularity is a particular severe type, surrounded by a punctured neighborhood where the function is defined. The stronger omitted-value result controls what happens in every such neighborhood. Except for the allowed exceptional value, the relevant holomorphic function takes each finite value infinitely often. A large finite sample of outputs could never establish that infinite repetition.\n\n## Keep the settings separate\n\nThe meromorphic setting allows poles, points at which the function becomes unbounded in the specified way. Its exceptional-value formulation differs from the purely holomorphic statement, and infinity must be handled explicitly. The original notes and fuller memoir are one linked result family, not three separate discoveries. Modular and elliptic function tools used in the argument retain their predecessor credit. This theorem is also unrelated to the similarly named Picard-Lindelof theorem for differential equations.\n\n## A small project that stays honest\n\nMake an explanation card distinguishing constant functions, nonconstant polynomials, the exponential and a function with an isolated essential singularity. Mark which theorem statement applies, and which assumptions you have not established. Pictures can motivate the behavior, but should not be labelled proofs. The historical record preserves the 1879 announcements and the fuller 1880 treatment, with source links so another reader can check exactly which statement belongs to which version.\n\n## Scientific scope\n\nConstant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.\n\n## Sources for this explanation\n\n- [Sur une propriété des fonctions entières](https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n- [Sur les fonctions entières](https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p662.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n- [Mémoire sur les fonctions entières](https://www.numdam.org/item/10.24033/asens.187.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family.",
      "title": "Picard's omitted-value theorems for entire functions and isolated essential singularities"
    },
    "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
      "version": 1,
      "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:92a9a5bf5a1f1e086a3e2bb7bb75c936d67ba4b2385902a2a45b5da6f807e978"
  },
  "target": {
    "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
    "version": 1,
    "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "picard-little-great-omitted-values-1879",
    "entry_id": "picard-little-great-omitted-values-1879",
    "revision": 1,
    "title": "Picard's omitted-value theorems for entire functions and isolated essential singularities",
    "context": "Complex analysis and value distribution",
    "track": "Exact theorem and reusable mathematical method",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family.",
    "scope": "Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family. Constant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Constant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.",
    "references": [
      {
        "title": "Sur une propriété des fonctions entières",
        "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      },
      {
        "title": "Sur les fonctions entières",
        "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p662.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      },
      {
        "title": "Mémoire sur les fonctions entières",
        "url": "https://www.numdam.org/item/10.24033/asens.187.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
      "version": 1,
      "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "270000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "picard-little-great-omitted-values-1879",
    "target": {
      "record_id": "urn:uuid:1f9e49a2-9732-4507-a531-6bb2e880880a",
      "version": 1,
      "content_hash": "sha256:0eb822838345ca2c816714531a7afbe424e81acc88d8f8780b100925ce6d2bac"
    },
    "sections": [
      {
        "title": "Can a function avoid two numbers forever?",
        "text": "A complex number has two real coordinates, often written x plus i times y, where i squared is minus one. Complex analysis studies functions that satisfy a strong, direction-independent differentiability condition. An entire function satisfies it throughout the complex plane. Picard showed that a nonconstant entire function cannot avoid two distinct finite complex values. However elaborate the function becomes, at most one such value can be permanently missing."
      },
      {
        "title": "A function that avoids zero",
        "text": "The exponential function gives an important example. Its value is never zero, because the product of exp(z) and exp(-z) is one. This shows why the theorem must permit one omitted value. It does not prove the theorem: demonstrating one function's behavior cannot establish a restriction on every nonconstant entire function. Constants must be excluded as well, since a constant function omits almost every value in the plane."
      },
      {
        "title": "A stronger question near a singularity",
        "text": "A singularity is a point where the required analytic behavior breaks down. An isolated essential singularity is a particular severe type, surrounded by a punctured neighborhood where the function is defined. The stronger omitted-value result controls what happens in every such neighborhood. Except for the allowed exceptional value, the relevant holomorphic function takes each finite value infinitely often. A large finite sample of outputs could never establish that infinite repetition."
      },
      {
        "title": "Keep the settings separate",
        "text": "The meromorphic setting allows poles, points at which the function becomes unbounded in the specified way. Its exceptional-value formulation differs from the purely holomorphic statement, and infinity must be handled explicitly. The original notes and fuller memoir are one linked result family, not three separate discoveries. Modular and elliptic function tools used in the argument retain their predecessor credit. This theorem is also unrelated to the similarly named Picard-Lindelof theorem for differential equations."
      },
      {
        "title": "A small project that stays honest",
        "text": "Make an explanation card distinguishing constant functions, nonconstant polynomials, the exponential and a function with an isolated essential singularity. Mark which theorem statement applies, and which assumptions you have not established. Pictures can motivate the behavior, but should not be labelled proofs. The historical record preserves the 1879 announcements and the fuller 1880 treatment, with source links so another reader can check exactly which statement belongs to which version."
      }
    ],
    "references": [
      {
        "title": "Sur une propriété des fonctions entières",
        "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p1024.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      },
      {
        "title": "Sur les fonctions entières",
        "url": "https://www.academie-sciences.fr/pdf/dossiers/Picard/Picard_pdf/CR1879_p662.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      },
      {
        "title": "Mémoire sur les fonctions entières",
        "url": "https://www.numdam.org/item/10.24033/asens.187.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}