Wikimedia neighborhood · Wikidata observation Observed Graph-projection

Harvey Friedman

American mathematician and logician

Provider: Wikidata. These recorded connections are observations, not Counterpedia claims. They do not establish source support.

Data and provenance

Provider: Wikidata · Entity ID: Q951297

Release: sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Graph membership is not truth. Each relation below is an observed typed edge the local Wikimedia graph bundle already materialized — not a corroborated, verified, or admitted claim. Bounded to 40 relations via an offset-index lookup (offset_index_binary_search), never a full scan of the bundle.Serving a published subset: joined entities + 1-hop neighborhood of 35,994 exact Wikipedia–Wikidata title matches. A subject that is not itself in that subset carries only the relations the subset recorded for it, so a small count here is the published scope and not a complete relationship inventory.

Development requests are not available on this deployment. The observed entity and its graph links remain readable.

1-hop relations (38)

Observed adjacency only. Each spoke is a typed edge already materialized in the graph, labeled by its recorded predicate — graph proximity is not support, corroboration, or admission. The links below are the accessible, no-JavaScript path to the same neighbors.

Follow a connection

Grouped by a fixed presentation taxonomy for legibility only. The grouping asserts no rank, truth, support, or standing — every observed edge is carried, none reordered by importance.

Identity & relations (4)

→ sex or gender (P21)maleObserved
Relationship details
Provider: Wikidata · Property: P21 · Direction: outgoing · Entity ID: Q6581097
→ instance of (P31)humanObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: outgoing · Entity ID: Q5
→ given name (P735)HarveyObserved
Relationship details
Provider: Wikidata · Property: P735 · Direction: outgoing · Entity ID: Q19767732
→ family name (P734)FriedmanObserved
Relationship details
Provider: Wikidata · Property: P734 · Direction: outgoing · Entity ID: Q1451887

Dates & events (1)

→ date of birth (P569)23 September 1948Observed
Relationship details
Provider: Wikidata · Property: P569 · Direction: outgoing

Occupation & roles (3)

→ occupation (P106)mathematicianObserved
Relationship details
Provider: Wikidata · Property: P106 · Direction: outgoing · Entity ID: Q170790
→ occupation (P106)university teacherObserved
Relationship details
Provider: Wikidata · Property: P106 · Direction: outgoing · Entity ID: Q1622272
→ occupation (P106)logicianObserved
Relationship details
Provider: Wikidata · Property: P106 · Direction: outgoing · Entity ID: Q14565331

Places (2)

→ country of citizenship (P27)United StatesObserved
Relationship details
Provider: Wikidata · Property: P27 · Direction: outgoing · Entity ID: Q30
→ place of birth (P19)ChicagoObserved
Relationship details
Provider: Wikidata · Property: P19 · Direction: outgoing · Entity ID: Q1297

Organizations & affiliations (2)

→ employer (P108)Ohio State UniversityObserved
Relationship details
Provider: Wikidata · Property: P108 · Direction: outgoing · Entity ID: Q309331
→ educated at (P69)Massachusetts Institute of TechnologyObserved
Relationship details
Provider: Wikidata · Property: P69 · Direction: outgoing · Entity ID: Q49108

Other connections (24)

→ Relationship name unavailable (P185)Robert Stanley WolfObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q102200833
→ Relationship name unavailable (P185)Ker-I KoObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q102261758
→ Relationship name unavailable (P185)John Edward HutchinsonObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q67575115
→ Relationship name unavailable (P3373)Sy FriedmanObserved
Relationship details
Provider: Wikidata · Property: P3373 · Direction: outgoing · Entity ID: Q700374
→ Relationship name unavailable (P184)Gerald SacksObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: outgoing · Entity ID: Q1509840
→ Relationship name unavailable (P6104)WikiProject MathematicsObserved
Relationship details
Provider: Wikidata · Property: P6104 · Direction: outgoing · Entity ID: Q8487137
→ Relationship name unavailable (P185)Tianwen LingObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q102161801
→ award received (P166)Gödel LecturerObserved
Relationship details
Provider: Wikidata · Property: P166 · Direction: outgoing · Entity ID: Q1559188
→ Relationship name unavailable (P185)Ying-Tyng Tony LeouObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q102161798
→ award received (P166)Guggenheim FellowshipObserved
Relationship details
Provider: Wikidata · Property: P166 · Direction: outgoing · Entity ID: Q1316544
→ Relationship name unavailable (P185)Michael J. BeesonObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q38178599
→ award received (P166)Alan T. Waterman AwardObserved
Relationship details
Provider: Wikidata · Property: P166 · Direction: outgoing · Entity ID: Q3607779
→ Relationship name unavailable (P185)Robert ByerlyObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: outgoing · Entity ID: Q102362336
→ Relationship name unavailable (P2021)2Observed
Relationship details
Provider: Wikidata · Property: P2021 · Direction: outgoing
← named after (P138)Friedman’s SSCG functionObserved
Relationship details
Provider: Wikidata · Property: P138 · Direction: incoming · Entity ID: Q21014376
← Relationship name unavailable (P184)Ker-I KoObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q102261758
← Relationship name unavailable (P3373)Sy FriedmanObserved
Relationship details
Provider: Wikidata · Property: P3373 · Direction: incoming · Entity ID: Q700374
← Relationship name unavailable (P184)Tianwen LingObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q102161801
← Relationship name unavailable (P184)Ying-Tyng Tony LeouObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q102161798
← Relationship name unavailable (P184)Robert Stanley WolfObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q102200833
← Relationship name unavailable (P184)John Edward HutchinsonObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q67575115
← Relationship name unavailable (P185)Gerald SacksObserved
Relationship details
Provider: Wikidata · Property: P185 · Direction: incoming · Entity ID: Q1509840
← Relationship name unavailable (P184)Robert ByerlyObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q102362336
← Relationship name unavailable (P184)Michael J. BeesonObserved
Relationship details
Provider: Wikidata · Property: P184 · Direction: incoming · Entity ID: Q38178599

External identifiers (2)

→ Commons category (P373)Harvey FriedmanObserved
Relationship details
Provider: Wikidata · Property: P373 · Direction: outgoing
→ image (P18)Harvey Friedman.jpgObserved
Relationship details
Provider: Wikidata · Property: P18 · Direction: outgoing

Return to entry